HPET used as system timer (last mesg seen)

System: i3-8100 on H310M-C R2.0
Tried Live-uefi first, then bios (USB version).

Boot fine in both case, the screen if filled with text info mostly about before and after initialization of HPET,

Last line is info about: HPET used as system timer

Does the OS output more info on serial line? (or any info on serial line?)

paul@bismark:~$ journalctl -b0 -p3
nov 21 12:29:37 bismark kernel: x86/cpu: SGX disabled by BIOS.
nov 21 12:29:37 bismark kernel: ACPI BIOS Error (bug): Could not resolve symbol [\_PR.PR00._CPC], AE_NOT_FOUND (20210730/psargs-330)
nov 21 12:29:37 bismark kernel: ACPI Error: Aborting method \_PR.PR01._CPC due to previous error (AE_NOT_FOUND) (20210730/psparse-5>
nov 21 12:29:37 bismark kernel: ACPI BIOS Error (bug): Could not resolve symbol [\_PR.PR00._CPC], AE_NOT_FOUND (20210730/psargs-330)
nov 21 12:29:37 bismark kernel: ACPI Error: Aborting method \_PR.PR02._CPC due to previous error (AE_NOT_FOUND) (20210730/psparse-5>
nov 21 12:29:37 bismark kernel: ACPI BIOS Error (bug): Could not resolve symbol [\_PR.PR00._CPC], AE_NOT_FOUND (20210730/psargs-330)
nov 21 12:29:37 bismark kernel: ACPI Error: Aborting method \_PR.PR03._CPC due to previous error (AE_NOT_FOUND) (20210730/psparse-5>

paul@bismark:~$ journalctl -b0 -p7|grep hpet
nov 21 12:29:37 bismark kernel: clocksource: hpet: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 79635855245 ns
nov 21 12:29:37 bismark kernel: hpet0: at MMIO 0xfed00000, IRQs 2, 8, 0, 0, 0, 0, 0, 0
nov 21 12:29:37 bismark kernel: hpet0: 8 comparators, 64-bit 24.000000 MHz counter
nov 21 12:29:37 bismark kernel: rtc_cmos 00:07: alarms up to one month, y3k, 242 bytes nvram, hpet irqs

Tried with 0.7.0 on a DVD, same result.

Compiled today version (22 nov. 2022) with “make all”.
Then “make live”, and burn “myredox/redox/build/x86_64/desktop/livedisk.iso”.
Rebooted in UEFI mode, and it works great!
Mouse & keyboard works fine.

So, I am pleasently impressed!