## Booting kernel from Legacy Image at 80200000 ...
   Image Name:   FreeBSD
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    8129037 Bytes =  7.8 MB
   Load Address: 80100000
   Entry Point:  801000e0
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

initarm 1
initarm 2
firstaddr = c0a1f000, lastaddr = 20100000
pa = 0x80a00000
pt = 0xc0a00000
virtual_avail = 0xc0a20000, pmap_curmaxkvaddr = 0xc1400000
KDB: debugger backends: ddb
KDB: current backend: ddb
Copyright (c) 1992-2010 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 9.0-CURRENT #280: Sun Nov  7 12:06:54 NZDT 2010
    andrew@bender:/usr/obj/arm.arm/home/andrew/freebsd/svn/zxombie-freebsd/sys/BEAGLEBOARD arm
WARNING: WITNESS option enabled, expect reduced performance.
panic: corrupt spinlock
KDB: enter: panic