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