问个HPET Timer的问题

loveccy

今天没事“make menuconfig”了看说明玩，就看到了这个HPET Timer。──“HPET is the next generation timer replacing legacy 8254s.”
google了一下知道了这个是intel搞的，其它信息一无所获，主要是我的英文不好挑不出关键的，唉……
虽然说编译内核时可以选上这个，就算硬件不支持HPET也会自动用成8254，可我还是想搞清楚一点。
我看了下我们的接口的课本，定时计数器这一章就光讲了8253/8254和实时钟MC146818──按intel的说法它们两个是要被HPET代替的。
不知道现在的电脑用的到底是不是HPET，还是仍是8254？我怎么知道我的电脑上面用的是什么Timer？是不是得拿个放大镜在主板上找找？:-P

一没留神把HPET全给写成HEPT了，晕啊，好在我发现得早，不然糗大了。看来是太晚困了……