acpi_hpet not found

[Nate Lawson]

Takanori Watanabe wrote:
> In message <200705142056.05598.h.schmalzbauer at omnisec.de>, Harald Schmalzbauer 
> $B$5$s$$$o$/(B:
>> Hello,
>>
>> on my workstation the HPEtimer is not found, but it's enabled in 32-bit mode 
>> in BIOS, so I think there is one... It's a 965P (ich8) chipset.
>>
>> I can't find anything regarding HPET in tha man pages. Any hints?
> 
> Show your acpi tables. It may have to support HPET table.

acpidump -t will be sufficient to show this.

-- 
Nate