-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Juan RP wrote:

> Are you using the amdpm timecounter successfully now?

Yep.  I don't know if it works, but it boots.  I'm about to fix a
formatting nit as well, so the output will look like this:

amdpm0 at pci0 dev 7 function 3: Advanced Micro Devices AMD768 Power
Management Controller (rev. 0x03)
amdpm0: 24-bit timer at 3579545Hz
timecounter: Timecounter "amdpm" frequency 3579545 Hz quality 1000
timecounter: selected timecounter "amdpm" frequency 3579545 Hz quality 1000
amdpm0: random number generator enabled (apprx. 62ms)

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (MingW32)

iD8DBQFEmbWXuzMQWQwZDN0RApuGAKCRARiwcRw3pFFl62OuUVZygbz9HQCgomUU
9HVzV2AGZMaO4uiOFQ4N+5g=
=T8xK
-----END PGP SIGNATURE-----