source:
bootcd/isolinux/syslinux-6.03/gpxe/src/config/timer.h
| Last change on this file was e16e8f2, checked in by , 3 years ago | |
|---|---|
|
|
| File size: 230 bytes | |
| Rev | Line | |
|---|---|---|
| [e16e8f2] | 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 */ |
Note: See TracBrowser
for help on using the repository browser.
