[timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC
authorMichael Brown <mcb30@etherboot.org>
Sun, 12 Oct 2008 23:23:18 +0000 (00:23 +0100)
committerMichael Brown <mcb30@etherboot.org>
Sun, 12 Oct 2008 23:23:18 +0000 (00:23 +0100)
commit667819becca24fc8fbe6183163fcdfb2e4b9422d
tree33e94344b6fe5c62a8917b309b4f1dc2eb5d99c1
parentc0835339d06716b133aa653847023742a967f188
[timer] Remove now-obsolete references to TIMER_BIOS and TIMER_RDTSC
src/config/general.h
src/core/config.c