diff --git a/Documentation/reference/user/02_task_scheduling.rst b/Documentation/reference/user/02_task_scheduling.rst index 2e99357ca4e..407addce770 100644 --- a/Documentation/reference/user/02_task_scheduling.rst +++ b/Documentation/reference/user/02_task_scheduling.rst @@ -12,7 +12,7 @@ Optionally, a NuttX task or thread can be configured with round-robin or *except* that tasks with equal priority and share CPU time via *time-slicing*. The time-slice interval is a constant determined by the configuration setting ``CONFIG_RR_INTERVAL`` to a positive, non-zero -value. Sporadic scheduling scheduling is more complex, varying the +value. Sporadic scheduling is more complex, varying the priority of a thread over a *replenishment* period. Support for sporadic scheduling is enabled by the configuration option ``CONFIG_SCHED_SPORADIC``.