Fix the command line document to account for the default scheduler not
being credit anymore likely, and the fact that it's selectable from
Kconfig and thus different builds could end up with different default
schedulers.
Fixes: dafd936dddbd ('Make credit2 the default scheduler')
Signed-off-by: Roger Pau Monné <[email protected]>
---
Changes since v1:
- Point that the default scheduler is being selected by Kconfig,
don't mention the default Kconfig selection.
---
docs/misc/xen-command-line.pandoc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/misc/xen-command-line.pandoc
b/docs/misc/xen-command-line.pandoc
index 4ae9391fcd..eb1db25f92 100644
--- a/docs/misc/xen-command-line.pandoc
+++ b/docs/misc/xen-command-line.pandoc
@@ -1876,7 +1876,7 @@ with read and write permissions.
### sched
> `= credit | credit2 | arinc653 | rtds | null`
-> Default: `sched=credit`
+> Default: selectable via Kconfig. Depends on enabled schedulers.
Choose the default scheduler.
--
2.29.0
