What is it trying to tell me?

[Martin Husemann <martin%duskware.de@localhost>]

My kernel tells me something I can't parse:

> NetBSD 4.99.65 (PORTER) #54: Tue Jun 17 21:13:33 CEST 2008
>         
> martin%night-porter.duskware.de@localhost:/usr/src/sys/arch/i386/compile/PORTER
> total memory = 3071 MB
> avail memory = 3011 MB
> timecounter: Timecounters tick every 10.000 msec
> timecounter: Timecounter "i8254" frequency 1193182 Hz quality 100
> System Manufacturer System Name (System Version)

huh?

> mainbus0 (root)
> cpu0 at mainbus0 apid 3: Intel 686-class, 1000MHz, id 0x686
> cpu1 at mainbus0 apid 0: Intel 686-class, 1000MHz, id 0x686

strings from acpi and the bios vendor didn't fill them in?

Martin