The HPET bug: What it is and what it isn't | Hacker News Reader