1.1 --- a/docs/src/user.tex	Thu Aug 03 15:02:34 2006 +0100
     1.2 +++ b/docs/src/user.tex	Thu Aug 03 15:05:54 2006 +0100
     1.3 @@ -3170,7 +3170,7 @@ editing \path{grub.conf}.
     1.4  \item [ tbuf\_size=xxx ] Set the size of the per-cpu trace buffers, in
     1.5    pages (default 0).  
     1.6  \item [ sched=xxx ] Select the CPU scheduler Xen should use.  The
     1.7 -  current possibilities are `sedf' (default), `credit', and `bvt'.
     1.8 +  current possibilities are `credit' (default), `sedf', and `bvt'.
     1.9  \item [ apic\_verbosity=debug,verbose ] Print more detailed
    1.10    information about local APIC and IOAPIC configuration.
    1.11  \item [ lapic ] Force use of local APIC even when left disabled by