Help with Marvel kernel for 88F5512

[Donald T Hayford]

I built FreeBSD kernel and world for the Marvel chipsets using the 
instructions here:
http://wiki.freebsd.org/FreeBSDMarvell

When I tried booting a Kurobox Pro (Marvel 88F5512) I see the following:

Marvell>> tftp 0x900000 sheeva/5XXXkernel.bin
Using egiga0 device
TFTP from server 192.168.11.1; our IP address is 192.168.11.150
Filename 'sheeva/5XXXkernel.bin'.
Load address: 0x900000
Loading: #################################################################
     #################################################################
     #################################################################
     #################################################################
     #################################################################
     #################################################################
     #################################################################
     #################################################################
     #########################################
done
Bytes transferred = 2870196 (2bcbb4 hex)
Marvell>> go 0x900000
## Starting application at 0x00900000 ...
KDB: debugger backends: ddb
KDB: current backend: ddb
Copyright (c) 1992-2009 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
    The Regents of the University of California. All rights reserved.
FreeBSD is a registered trademark of The FreeBSD Foundation.
FreeBSD 8.0-CURRENT #0: Sun Apr 26 16:12:12 EDT 2009
    hayford at freeqemu:/usr/obj/arm/usr/src/sys/DB-88F5XXX
WARNING: WITNESS option enabled, expect reduced performance.
WARNING: DIAGNOSTIC option enabled, expect reduced performance.
Preloaded elf kernel "elf kernel" at 0xc0d2f988.
CPU: ARM926EJ-S rev 0 (ARM9EJ-S core)
  DC enabled IC enabled WB enabled EABT branch prediction enabled
  32KB/32B 1-way Instruction cache
  32KB/32B 1-way write-back-locking-C Data cache
real memory  = 134217728 (128 MB)
Physical memory chunk(s):
00000000 - 0x8fffff, 9437184 bytes (2304 pages)
0xe21000 - 0x7d8efff, 116842496 bytes (28526 pages)
avail memory = 125272064 (119 MB)
SOC: (0x5182:0x02) Marvell 88F5182 rev A2, TClock 166MHz
mem: <memory>
random: <entropy source, Software, Yarrow>
null: <null device, zero device>
nfslock: pseudo-device
mbus0: <Marvell Internal Bus (Mbus)> on motherboard
ic0: <Marvell Integrated Interrupt Controller> at mem 
0xf1020200-0xf102023b on mbus0
timer0: <Marvell CPU Timer> at mem 0xf1020300-0xf102032f irq 0 on mbus0
timer0: [FILTER]
gpio0: <Marvell Integrated GPIO Controller> at mem 0xf1010100-0xf101011f 
irq 6,7,8,9 on mbus0
gpio0: [FILTER]
gpio0: [FILTER]
gpio0: [FILTER]
gpio0: [FILTER]
uart0: <16550 or compatible> at mem 0xf1012000-0xf101201f irq 3 on mbus0
uart0: [FILTER]
uart0: fast interrupt
uart0: console (115740,n,8,1)
uart1: <16550 or compatible> at mem 0xf1012100-0xf101211f irq 4 on mbus0
uart1: [FILTER]
uart1: fast interrupt
ehci0: <Marvell Integrated USB 2.0 controller> at mem 
0xf1050000-0xf1050fff irq 16,17 on mbus0
ehci0: [FILTER]
ehci0: [MPSAFE]
ehci0: [ITHREAD]
ehci0: 5.24 GL USB-2 workaround enabled
usbus0: EHCI version 1.0
usbus0: set host controller mode
usbus0: <Marvell Integrated USB 2.0 controller> on ehci0
mge0: <Marvell Gigabit Ethernet controller> at mem 0xf1072000-0xf1073fff 
irq 18,19,20,21,22 on mbus0
mge0: bpf attached
mge0: Ethernet address: 00:16:01:a4:e4:87
miibus0: <MII bus> on mge0
e1000phy0: <Marvell 88E1116 Gigabit PHY> PHY 8 on miibus0
e1000phy0:  10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, 
1000baseTX-FDX, auto
mge0: [MPSAFE]
mge0: [ITHREAD]
mge0: [MPSAFE]
mge0: [ITHREAD]
twsi0: <Marvell Integrated I2C Bus Controller> at mem 
0xf1011000-0xf101101f on mbus0
iicbus0: <Philips I2C bus> on twsi0
iicbus0: <unknown card> at addr 0
iic0: <I2C generic I/O> on iicbus0
pcib1: <Marvell 88F5182 PCI-X host controller> at mem 
0xf1030000-0xf1031fff on mbus0

At this point, the device hangs until I reboot it.

Any advice is greatly appreciated.
Thanks,
Don