On 03.09.2024 15:03, Roger Pau Monne wrote: > --- a/docs/misc/xen-command-line.pandoc > +++ b/docs/misc/xen-command-line.pandoc > @@ -2821,6 +2821,24 @@ vwfi to `native` reduces irq latency significantly. It > can also lead to > suboptimal scheduling decisions, but only when the system is > oversubscribed (i.e., in total there are more vCPUs than pCPUs). > > +### wallclock (x86) > +> `= auto | xen | cmos | efi` > + > +> Default: `auto` > + > +Allow forcing the usage of a specific wallclock source. > + > + * `auto` let the hypervisor select the clocksource based on internal > + heuristics. > + > + * `xen` force usage of the Xen shared_info wallclock when booted as a Xen > + guest.
Mention the CONFIG_* dependency, like we do elsewhere? > + * `cmos` force usage of the CMOS RTC wallclock. > + > + * `efi` force usage of the EFI_GFET_TIME run-time method when booted from > EFI > + firmware. Nit: Stray F. Jan