diff options
| author | Michael Brown | 2018-03-20 16:26:49 +0100 |
|---|---|---|
| committer | Michael Brown | 2018-03-20 16:26:49 +0100 |
| commit | 3ec2079ce2078ff67c1f857eaf29293586bb5497 (patch) | |
| tree | bf1f114ad62ac06393b11e4f682ee1b80ba6dfd5 /src/config | |
| parent | [efi] Provide Map_Mem() and associated UNDI callbacks (diff) | |
| download | ipxe-3ec2079ce2078ff67c1f857eaf29293586bb5497.tar.gz ipxe-3ec2079ce2078ff67c1f857eaf29293586bb5497.tar.xz ipxe-3ec2079ce2078ff67c1f857eaf29293586bb5497.zip | |
[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')
| -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 a462970c..d53c3993 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 |