如何判断我的机器是否有8254定时器芯片？

Question

碰巧我被要求继续一个依赖于8254计时器芯片的旧项目。

这个项目是一个经过修改的linux内核。