summaryrefslogtreecommitdiffstats
path: root/src/arch/x86/interface/pcbios/acpi_timer.c
Commit message (Collapse)AuthorAgeFilesLines
* [time] Add support for the ACPI power management timerMichael Brown2018-03-201-0/+136
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>