diff options
Diffstat (limited to 'gpxe/src/config/timer.h')
-rw-r--r-- | gpxe/src/config/timer.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gpxe/src/config/timer.h b/gpxe/src/config/timer.h deleted file mode 100644 index cc6a93d1..00000000 --- a/gpxe/src/config/timer.h +++ /dev/null @@ -1,17 +0,0 @@ -#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 */ |