これらのシステム上では、hpetは100mhz以上で動作する。