[PATCH v6 0/2] x86/time: improvements to wallclock logic

[Roger Pau Monne <roger.pau@xxxxxxxxxx>]

Hello,

This series started as an attempt to change the default wallclock
preference from EFI_GET_TIME to CMOS RTC, but has grown quite a lot.

Thanks, Roger.

Roger Pau Monne (2):
  x86/time: introduce command line option to select wallclock
  x86/time: prefer CMOS over EFI_GET_TIME

 docs/misc/xen-command-line.pandoc | 19 +++++++++++++
 xen/arch/x86/time.c               | 47 +++++++++++++++++++++++++++----
 2 files changed, 61 insertions(+), 5 deletions(-)

-- 
2.46.0