I am using Librem Mini v2 with stock firmware coreboot + SEAbios v2-4.15. I need to know if High Precision Event Timer (HPET) is enabled or disabled in BIOS.
Thank you.
I am using Librem Mini v2 with stock firmware coreboot + SEAbios v2-4.15. I need to know if High Precision Event Timer (HPET) is enabled or disabled in BIOS.
Thank you.
Enabled using PureBoot:
No explicit configuration referenced by Coreboot on the Librem Mini v2: