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.
Last remaining fixes, compared to v6 just some minor changes to the
option documentation and handling.
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 | 21 +++++++++++++
xen/arch/x86/time.c | 49 +++++++++++++++++++++++++++----
2 files changed, 65 insertions(+), 5 deletions(-)
--
2.46.0