yes you processor does support that so one would assume so does modo and bios
this is in drivers/char/rtc.c i think
try
dmesg | grep timesource
mine says
Using tsc for high-res timesource
it may be that there are other choices
(my hpet timer is not turned on)
unfortunately as far as i know hpet is like the rtc only as a interupt device for software timing not for the sysclock but i might be wrong
read this
http://groups-beta.google.com/group/...1456?hl=en&lr=
they talk about switching to older pit or something called pmtimer
i have heard of people using a 2.6.x kernel boot option clock=
possibly that will help
read this
http://www.vmware.com/community/thre...4254&tstart=75
someone there definitely thinks sysclock can use hpet
they say the default order of sysclock timers is
cyclone, hpet, pmtmr, tsc, pit
don't know about that one
tink i'll try to find parsing of the clock= option in the kernel later for fun