[xen master] docs: fix documentation about default scheduler

[patchbot@xxxxxxx]

commit 881966dc3b420369b4b39e6586531f58562d88d8
Author:     Roger Pau Monne <roger.pau@xxxxxxxxxx>
AuthorDate: Tue Nov 17 10:32:58 2020 +0100
Commit:     Wei Liu <wl@xxxxxxx>
CommitDate: Mon Dec 7 15:44:52 2020 +0000

    docs: fix documentation about default scheduler
    
    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é <roger.pau@xxxxxxxxxx>
    Acked-by: Wei Liu <wl@xxxxxxx>
---
 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
 > `= <integer>`
--
generated by git-patchbot for /home/xen/git/xen.git#master