Well, Ben brought a Hydra board with 5 CPUs on it to the show, so
obviously it had to be booted. Here's the dmesg, for interest.

It actually came up multi-user, which Ben assures me shouldn't have
happened.. I'll leave it to him to talk about the piles of work left to do
on ARM SMP. :)


NetBSD 1.6J (SOUTHEAST-ICELAND) #205: Fri Oct 25 00:01:37 BST 2002
    bjh21@viking:/opt/netbsd/src/sys/arch/acorn32/compile/SOUTHEAST-ICELAND
total memory = 32768 KB
avail memory = 26384 KB
using 435 buffers containing 1740 KB of memory
mainbus0 (root)
cpu0 at mainbus0: ARM610 rev 5 (ARM6 core)
cpu0: IDC enabled WB enabled EABT
cpu0: 4KB/16B 64-way write-through unified cache
hydra0 at mainbus0: hardware version 0
cpu1 at hydra0 slave 0: ARM610 rev 5 (ARM6 core)
cpu1: IDC enabled WB enabled EABT
cpu1: 4KB/16B 64-way write-through unified cache
cpu2 at hydra0 slave 1: ARM610 rev 5 (ARM6 core)
cpu2: IDC enabled WB enabled EABT
cpu2: 4KB/16B 64-way write-through unified cache
cpu3 at hydra0 slave 2: ARM610 rev 5 (ARM6 core)
cpu3: IDC enabled WB enabled EABT
cpu3: 4KB/16B 64-way write-through unified cache
cpu4 at hydra0 slave 3: ARM610 rev 5 (ARM6 core)
cpu4: IDC enabled WB enabled EABT
cpu4: 4KB/16B 64-way write-through unified cache
pioc0 at mainbus0 base 0xf6210000-0xf6212fff
pioc0: SMC FDC37C665GT peripheral controller rev 2
wdc0 at pioc0 offset 0x1f0-0x1f7 irq 9
wd0 at wdc0 channel 0 drive 0: <Maxtor 91080D5>
wd0: drive supports 16-sector PIO transfers, LBA addressing
wd0: 10300 MB, 16383 cyl, 16 head, 63 sec, 512 bytes/sect x 21095424 sectors
wd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 2 (Ultra/33)
fdc0 at pioc0 offset 0x3f0-0x3f7 irq 12 drq 0x00002000
fd0 at fdc0 drive 0: 1.44MB 80 cyl, 2 head, 18 sec
com0 at pioc0 offset 0x3f8-0x3ff irq 10: ns16550a, working fifo
lpt0 at pioc0 offset 0x278-0x27b irq 0
iomd0 at mainbus0: IOMD20 version 3
iomd0: DRAM refresh=16us
clock0 at iomd0
rpckbd0 at iomd0
wskbd0 at rpckbd0: console keyboard
iic0 at iomd0
rtc0 at iic0 addr 0xa0: PCF8583 clock base 32.768KHz
todclock0 at rtc0
wsqms0 at iomd0
wsmouse0 at wsqms0 mux 0
vidc0 at mainbus0: VIDC20
vidcvideo0 at vidc0: refclk=24MHz 1024KB VRAM : using 640 x 480, 8bpp
wsdisplay0 at vidcvideo0 kbdmux 1: console (std, vt100 emulation), using wskbd0
wsmux1: connecting to wsdisplay0
beep0 at vidc0
sysbeep0 at vidc0
vidcaudio0 at vidc0
audio0 at vidcaudio0: half duplex
podulebus0 (root)
netslot0 at podulebus0 : ANT : EtherB network slot interface :
eb0 at podulebus0 [ netslot 0 ]: address 00:00:a4:11:60:5b, 16-bit, SEEQ 80C04A
eb0: 64KB packet memory, txbuf=2KB (1 buffers), rxbuf=62KB
ipl_bio=00108c09 ipl_net=00108409 ipl_tty=00100400 ipl_imp=00100400
ipl_audio=00000400 ipl_imp=00000400 ipl_high=00000400 ipl_serial=00000000
clock: hz=100 stathz = 0 profhz = 0
Setting statclock to 0Hz (-1 ticks)
boot device: wd0
root on wd0a dumps on wd0b
mountroot: trying msdos...
mountroot: trying cd9660...
isofs: session offset (part 0) 0
mountroot: trying nfs...
mountroot: trying ffs...
inittodr: 15:01:23.4700 02/11/2002
Clock has gained 0 days 0 hours 3 minutes 45 secs
root file system type: ffs
cpu1: I am needed?
cpu2: I am needed?
cpu3: I am needed?
cpu4: I am needed?
init: copying out path `/sbin/init' 11

-- 
Gillette - the best a man can forget