|
|
1.1 ! root 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: #include <config/local/timer.h> ! 18: ! 19: #endif /* CONFIG_TIMER_H */
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.