From 143242776fb5478a4db517dbf80bb68181b85bfa Mon Sep 17 00:00:00 2001 From: Morten Fyhn Amundsen Date: Mon, 2 Jun 2025 13:24:54 +0200 Subject: [PATCH] Documentation: Fix a typo in scheduler docs Removed a repeated word. Self-explanatory. Signed-off-by: Morten Fyhn Amundsen --- Documentation/reference/user/02_task_scheduling.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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``.