High Precision Event Timer (HPET)

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.

1 Like

Enabled using PureBoot:

No explicit configuration referenced by Coreboot on the Librem Mini v2:

2 Likes