[time] Add support for the ACPI power management timer
authorMichael Brown <mcb30@ipxe.org>
Tue, 20 Mar 2018 15:26:49 +0000 (17:26 +0200)
committerMichael Brown <mcb30@ipxe.org>
Tue, 20 Mar 2018 15:26:49 +0000 (17:26 +0200)
commit3ec2079ce2078ff67c1f857eaf29293586bb5497
treebf1f114ad62ac06393b11e4f682ee1b80ba6dfd5
parente8e9ca36130bed2ed241a38fa57e9a35c8ac61f3
[time] Add support for the ACPI power management timer

Allow the ACPI power management timer to be used if enabled via
TIMER_ACPI in config/timer.h.  This provides an alternative timer on
systems where the standard 8254 PIT is unavailable or unreliable.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/arch/x86/include/bits/errfile.h
src/arch/x86/interface/pcbios/acpi_timer.c [new file with mode: 0644]
src/config/config_timer.c
src/include/ipxe/acpi.h