On Sun, Jan 07, 2007 at 01:10:10PM +0100, Juan RP wrote:
> On Tuesday 05 December 2006 20:34, Nicolas Joly wrote:
> > On Tue, Dec 05, 2006 at 02:58:48PM +0100, Quentin Garnier wrote:
> 
> > > 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.)
> >
> > Here is a new patch that allow HPET in both ACPI and amdpcib.
> >
> > ACPI:
> >
> > hpet* at acpi?
> >
> > hpet0 at acpi0 (PNP0103)
> > hpet0: mem 0xfec01000-0xfec013ff irq 0,8
> > timecounter: Timecounter "hpet0" frequency 14318179 Hz quality 2000
> >
> > AMD8111 LPC controller:
> >
> > amdpcib* at pci? dev ? function ?
> > hpet*   at amdpcib?
> > isa0    at amdpcib?
> >
> > amdpcib0 at pci0 dev 7 function 0
> > amdpcib0: Advanced Micro Devices AMD8111 LPC Controller (rev. 0x05)
> > hpet0 at amdpcib0: HPET timer
> > timecounter: Timecounter "hpet0" frequency 14318179 Hz quality 2000
> > isa0 at amdpcib0
> 
> Please send-pr it, for future references.

Done (kern/35381).

-- 
Nicolas Joly

Biological Software and Databanks.
Institut Pasteur, Paris.