HPET Timer Support

modulename: hpet.ko

configname: CONFIG_HPET_TIMER

Linux Kernel Configuration
└─>Processor type and features
└─>HPET Timer Support
In linux kernel since version 2.6.12  
Use the IA-PC HPET (High Precision Event Timer) to manage
time in preference to the PIT and RTC, if a HPET is
present.
HPET is the next generation timer replacing legacy 8254s.
The HPET provides a stable time base on SMP
systems, unlike the TSC, but it is more expensive to access,
as it is off-chip. The interface used is documented
in the HPET spec, revision 1.

You can safely choose Y here. However, HPET will only be
activated if the platform and the BIOS support this feature.
Otherwise the 8254 will be used for timing services.

Choose N to continue using the legacy 8254 timer.

source code: