From 3ec2079ce2078ff67c1f857eaf29293586bb5497 Mon Sep 17 00:00:00 2001 From: Michael Brown Date: Tue, 20 Mar 2018 17:26:49 +0200 Subject: [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 --- src/config/config_timer.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/config') 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 -- cgit v1.2.3-55-g7522