Stefan Reinauer stepan at openbios.org
Thu Jun 9 12:22:32 CEST 2005

* Jon Smirl <jonsmirl at gmail.com> [050608 21:28]:
> At boot Linux looks for the HPET ACPI entry to know if there is HPET
> support. Of course on my Dell machines it says there isn't any.
> What is involved in the HPET ACPI entry? Would it be easy to modify
> the kernel to look for this device without the entry?

Yes, indeed. The only useful information passed in the HPET table is the
start address of the timer. you could add a kernel parameter
"hpet_addr" that passes the address instead, or something similar.


More information about the coreboot mailing list