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/defaults/pcbios.h | |
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/defaults/pcbios.h')
-rw-r--r-- | src/config/defaults/pcbios.h | 1 |
1 files changed, 1 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 */ |