diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user/rtmon.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/rtmon.t b/doc/user/rtmon.t index 61271e02c6..3a6f4bb6f9 100644 --- a/doc/user/rtmon.t +++ b/doc/user/rtmon.t @@ -176,7 +176,7 @@ worst-case conditions and emphasizes the predictability of the system's behavior. It has been proven that: @itemize @code{ } -@b{RMS is an optimal static priority algorithm for +@item @b{RMS is an optimal static priority algorithm for scheduling independent, preemptible, periodic tasks on a single processor.} @end itemize |