From 881966dc3b420369b4b39e6586531f58562d88d8 Mon Sep 17 00:00:00 2001 From: Roger Pau Monne Date: Tue, 17 Nov 2020 10:32:58 +0100 Subject: [PATCH] docs: fix documentation about default scheduler MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Fix the command line document to account for the default scheduler in Kconfig being credit2 now, and the fact that it's selectable at build time and thus different builds could end up with different default schedulers. Fixes: dafd936dddbd ('Make credit2 the default scheduler') Signed-off-by: Roger Pau Monné Acked-by: Wei Liu --- docs/misc/xen-command-line.pandoc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/misc/xen-command-line.pandoc b/docs/misc/xen-command-line.pandoc index f7db2b64aa..1cb1aee5ed 100644 --- a/docs/misc/xen-command-line.pandoc +++ b/docs/misc/xen-command-line.pandoc @@ -1886,9 +1886,11 @@ with read and write permissions. ### sched > `= credit | credit2 | arinc653 | rtds | null` -> Default: `sched=credit` +> Default: `sched=credit2` -Choose the default scheduler. +Choose the default scheduler. Note the default scheduler is selectable via +Kconfig and depends on enabled schedulers. Check +`CONFIG_SCHED_DEFAULT` to see which scheduler is the default. ### sched_credit2_max_cpus_runqueue > `= ` -- 2.30.2