diff options
Diffstat (limited to 'src/config/config_timer.c')
| -rw-r--r-- | src/config/config_timer.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/config/config_timer.c b/src/config/config_timer.c index d53c39939..12b806129 100644 --- a/src/config/config_timer.c +++ b/src/config/config_timer.c @@ -20,6 +20,7 @@ */ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); +FILE_SECBOOT ( PERMITTED ); #include <config/timer.h> @@ -49,3 +50,6 @@ REQUIRE_OBJECT ( linux_timer ); #ifdef TIMER_ACPI REQUIRE_OBJECT ( acpi_timer ); #endif +#ifdef TIMER_ZICNTR +REQUIRE_OBJECT ( zicntr ); +#endif |