diff options
Diffstat (limited to 'src/config/timer.h')
| -rw-r--r-- | src/config/timer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/config/timer.h b/src/config/timer.h index cc6a93d18..abd669851 100644 --- a/src/config/timer.h +++ b/src/config/timer.h @@ -14,4 +14,6 @@ FILE_LICENCE ( GPL2_OR_LATER ); //#undef TIMER_PCBIOS //#define TIMER_RDTSC +#include <config/local/timer.h> + #endif /* CONFIG_TIMER_H */ |