docs: fix documentation about default scheduler
authorRoger Pau Monne <roger.pau@citrix.com>
Tue, 17 Nov 2020 09:32:58 +0000 (10:32 +0100)
committerWei Liu <wl@xen.org>
Mon, 7 Dec 2020 15:44:52 +0000 (15:44 +0000)
commit881966dc3b420369b4b39e6586531f58562d88d8
tree7edc8c537787bc62634aa35b365be2862c814159
parent841f660b16b7e5ab9c6100d665f276074735e04c
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@citrix.com>
Acked-by: Wei Liu <wl@xen.org>
docs/misc/xen-command-line.pandoc