I would be happy to test this once it attaches to acpi, as I have an
Intel board with an HPET timer as well.

On 12/5/06, Quentin Garnier <cube@cubidou.net> wrote:
> On Tue, Dec 05, 2006 at 02:51:47PM +0100, Nicolas Joly wrote:
> > On Tue, Dec 05, 2006 at 02:26:42PM +0100, Quentin Garnier wrote:
> > > On Tue, Dec 05, 2006 at 02:09:57PM +0100, Nicolas Joly wrote:
> > > >
> > > > Hi,
> > > >
> > > > Here follow a small patch i made in the last few days to add support
> > > > for HPET timer found on amd8111 chpiset.
> > > >
> > > > This timer is available on the LPC controller with a new amdpcib
> > > > driver.
> > >
> > > Is it the same as the HPETs you can find in Intel's chipsets?
> >
> > I think so; it follows the Intel specifications.
> > <URL:http://www.intel.com/hardwaredesign/hpetspec_1.pdf>
> >
> > > Does it appear in the ACPI table?  It'd be even better to have a
> > > generic hpet@acpi driver.
> >
> > Yes, it's available in ACPI tables. I'll try to make the ACPI driver
> > next ...
>
> You want to have a hpet device attach to amdpcib, then.  (Or you might
> just skip that part and make people use ACPI to get support for the
> HPET.  That wouldn't be so bad, actually.)
>
> --
> Quentin Garnier - cube@cubidou.net - cube@NetBSD.org
> "You could have made it, spitting out benchmarks
> Owe it to yourself not to fail"
> Amplifico, Spitting Out Benchmarks, Hometakes Vol. 2, 2005.
>
>


-- 
Support WFMU-FM: free-form radio for the masses!

<http://www.wfmu.org/>
91.1 FM Jersey City, NJ
90.1 FM Mt. Hope, NY

"The Reggae Schoolroom":
<http://www.wfmu.org/playlists/RS/>