hpet source code cleanup Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Driver can now trigger and receive interrupts through FSB and I/O APIC mapping Signed-off-by: Rana Afifi <afrana@student-ethz.ch>
Merge commit 'cbcc2995fb41db00f4dbee79451f0e56f06c261a' as 'lib/acpica'