cc6a93d18deac69f187fa6e566229bd074611c7e
[people/pcmattman/gpxe.git] / src / config / timer.h
1 #ifndef CONFIG_TIMER_H
2 #define CONFIG_TIMER_H
3
4 /** @file
5  *
6  * Timer configuration.
7  *
8  */
9
10 FILE_LICENCE ( GPL2_OR_LATER );
11
12 #include <config/defaults.h>
13
14 //#undef                TIMER_PCBIOS
15 //#define               TIMER_RDTSC
16
17 #endif /* CONFIG_TIMER_H */