diff options
| author | Michael Brown | 2008-10-12 20:56:52 +0200 |
|---|---|---|
| committer | Michael Brown | 2008-10-12 21:22:02 +0200 |
| commit | 16f1e35775c972ba8e02bc2d97d7a2eb333eae1b (patch) | |
| tree | f653099d4b230c9807986aa2b4cd89dce2cffe9b /src/config | |
| parent | [process] Add DBG2() messages to help track down frozen processes (diff) | |
| download | ipxe-16f1e35775c972ba8e02bc2d97d7a2eb333eae1b.tar.gz ipxe-16f1e35775c972ba8e02bc2d97d7a2eb333eae1b.tar.xz ipxe-16f1e35775c972ba8e02bc2d97d7a2eb333eae1b.zip | |
[timer] Formalise the timer API
We now have two implementations for the timer API: one using the
time-of-day counter at 40:70 and one using RDTSC. Both make use of
timer2_udelay().
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/defaults/pcbios.h | 1 | ||||
| -rw-r--r-- | src/config/timer.h | 15 |
2 files changed, 16 insertions, 0 deletions
diff --git a/src/config/defaults/pcbios.h b/src/config/defaults/pcbios.h index df6e93ce..4cf2d7e4 100644 --- a/src/config/defaults/pcbios.h +++ b/src/config/defaults/pcbios.h @@ -9,6 +9,7 @@ #define IOAPI_X86 #define PCIAPI_PCBIOS +#define TIMER_PCBIOS #define CONSOLE_PCBIOS #endif /* CONFIG_DEFAULTS_PCBIOS_H */ diff --git a/src/config/timer.h b/src/config/timer.h new file mode 100644 index 00000000..7c3f3521 --- /dev/null +++ b/src/config/timer.h @@ -0,0 +1,15 @@ +#ifndef CONFIG_TIMER_H +#define CONFIG_TIMER_H + +/** @file + * + * Timer configuration. + * + */ + +#include <config/defaults.h> + +//#undef TIMER_PCBIOS +//#define TIMER_RDTSC + +#endif /* CONFIG_TIMER_H */ |