diff options
| author | Michael Brown <mcb30@ipxe.org> | 2018-03-20 17:26:49 +0200 |
|---|---|---|
| committer | Michael Brown <mcb30@ipxe.org> | 2018-03-20 17:26:49 +0200 |
| commit | 3ec2079ce2078ff67c1f857eaf29293586bb5497 (patch) | |
| tree | bf1f114ad62ac06393b11e4f682ee1b80ba6dfd5 /src/config/config_timer.c | |
| parent | e8e9ca36130bed2ed241a38fa57e9a35c8ac61f3 (diff) | |
| download | ipxe-3ec2079ce2078ff67c1f857eaf29293586bb5497.tar.gz | |
[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>
Diffstat (limited to 'src/config/config_timer.c')
| -rw-r--r-- | src/config/config_timer.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/config/config_timer.c b/src/config/config_timer.c index a462970c2..d53c39939 100644 --- a/src/config/config_timer.c +++ b/src/config/config_timer.c @@ -46,3 +46,6 @@ REQUIRE_OBJECT ( efi_timer ); #ifdef TIMER_LINUX REQUIRE_OBJECT ( linux_timer ); #endif +#ifdef TIMER_ACPI +REQUIRE_OBJECT ( acpi_timer ); +#endif |