pc-timer

Intel 8253 programming-based timer.