diff options
| author | Michael Brown <mcb30@etherboot.org> | 2008-10-12 19:56:52 +0100 |
|---|---|---|
| committer | Michael Brown <mcb30@etherboot.org> | 2008-10-12 20:22:02 +0100 |
| commit | 16f1e35775c972ba8e02bc2d97d7a2eb333eae1b (patch) | |
| tree | f653099d4b230c9807986aa2b4cd89dce2cffe9b /src/config/timer.h | |
| parent | e6f276ece3e805aec15f7462354faaa2c42e209f (diff) | |
| download | ipxe-16f1e35775c972ba8e02bc2d97d7a2eb333eae1b.tar.gz | |
[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/timer.h')
| -rw-r--r-- | src/config/timer.h | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/config/timer.h b/src/config/timer.h new file mode 100644 index 000000000..7c3f3521d --- /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 */ |