Some real machine can apparently have a flaky real-time-clock. So, don't use it for timing the boot menu - the regular timer irq is fine for this purpose.
Kevin O'Connor (4): Allow wait_irq to be called in 32bit code. Rename check_time() to check_tsc(). Generalize timer based delay code. Don't use RTC to time boot menu delay.
Makefile | 2 +- src/ata.c | 8 +++--- src/boot.c | 2 +- src/cdrom.c | 2 +- src/clock.c | 36 +++++++++++++++++++++--- src/ps2port.c | 2 +- src/serial.c | 37 ++++--------------------- src/stacks.c | 83 +++++++++++++++++++++++++++++++++++++++++++++++++------- src/usb-ehci.c | 10 +++--- src/usb-hub.c | 4 +- src/usb-ohci.c | 8 +++--- src/usb-uhci.c | 6 ++-- src/util.c | 54 ++---------------------------------- src/util.h | 20 +++++-------- 14 files changed, 144 insertions(+), 130 deletions(-)