This is an OpenPGP/MIME signed message (RFC 2440 and 3156)
--------------enig5390898EAFBC459ACBA8C166
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Rui Paulo wrote:
> Hi,
> This is the dmesg of NetBSD-current running on VMware Fusion with SMP  
> enabled:
> timecounter: Timecounters tick every 10.000 msec
> timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
> timecounter: Timecounter "ACPI-Safe" frequency 3579545 Hz quality 900
> ACPI-Safe 24-bit timer
> timecounter: Timecounter "clockinterrupt" frequency 100 Hz quality 0

Do you see any issues with the rtc/timer interrupts going haywire? 
Running VMware SMP here with moderate to heavy load results in the 
system time running super-fast, sometimes it clocks a whole month in 
just 12 hours.

Cheers,
-- 
         Thomas E. Spanjaard
         tgen@netphreax.net

--------------enig5390898EAFBC459ACBA8C166
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (NetBSD)

iD8DBQFFjC026xCMwBJ+1+sRA0HwAJ4+itOBYwKR87RLQmc/0FrzQMKW4wCgm3Z8
qXsPoPCRksIPsqskXOCH4FQ=
=554B
-----END PGP SIGNATURE-----

--------------enig5390898EAFBC459ACBA8C166--