initarm: console initialized
 arg1 kmdp = 0xc0579580
 boothowto = 0x00000000
 dtbp = 0xc03e0ab0
kernel image addresses:
 kernbase       = 0xc0000000
 _etext (sdata) = 0xc0351ccc
 _edata         = 0xc0404538
 __bss_start    = 0xc0404538
 _end           = 0xc057c824
loader passed (static) kenv:
 no env, null ptr
processing avail regions:
 90000000-b0000000 -> 90000000-90100000 = 100000
 90633000-b0000000 -> 90633000-b0000000 = 1f9cd000
fill in phys_avail:
 region: 0x90000000 - 0x90100000 (0x00100000)
 region: 0x90633000 - 0xb0000000 (0x1f9cd000)
KDB: debugger backends: ddb
KDB: current backend: ddb
fdt_devmap:
	VA:	0xe0000000
	PA:	0x70000000
	Size:	0x04000000
Copyright (c) 1992-2012 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 10.0-CURRENT #92 r0:239333M: Fri Aug 17 23:26:25 EEST 2012
    [email protected]:/usr/obj/arm.armv6/usr/1/MIPS_FreeBSD/HEAD/head/sys/EFIKA_MX_SMARTTOP arm
WARNING: WITNESS option enabled, expect reduced performance.
WARNING: DIAGNOSTIC option enabled, expect reduced performance.
Preloaded elf kernel "kernel" at 0xc0579580.
CPU: Cortex A8-r2 rev 5 (Cortex-A core)
 Supported features: ARM_ISA THUMB2 JAZELLE THUMBEE ARMv4 Security_Ext
 WB disabled EABT branch prediction enabled
LoUU:2 LoC:2 LoUIS:1
Cache level 1:
 32KB/64B 4-way data cache WT WB Read-Alloc
 32KB/64B 4-way instruction cache Read-Alloc
Cache level 2:
 256KB/64B 8-way unified cache WT WB Read-Alloc Write-Alloc
real memory  = 536870912 (512 MB)
Physical memory chunk(s):
0x90000000 - 0x900fffff, 1048576 bytes (256 pages)
0x90633000 - 0xaf629fff, 520056832 bytes (126967 pages)
avail memory = 518766592 (494 MB)
random device not loaded; using insecure entropy
mem: <memory>
null: <null device, zero device>
openfirm: <Open Firmware control device>
random: <entropy source, Software, Yarrow>
fdtbus0: <FDT main bus>
tzic0: <TrustZone Interrupt Controller> mem 0xd000e800-0xd00127ff on fdtbus0
tzic0: interrupts 128, PA=0xd000e800
simplebus0: <Flattened device tree simple bus> on fdtbus0
simplebus_attach: fsl,imx51-esdhc
simplebus_attach: fsl,imx51-esdhc
simplebus_attach: fsl,imx51-uart
simplebus_attach: fsl,imx51-ecspi
simplebus_attach: fsl,imx51-ssi
simplebus_attach: fsl,imx51-esdhc
simplebus_attach: fsl,imx51-esdhc
simplebus_attach: fsl,imx51-gpio
simplebus_attach: fsl,imx51-gpio
simplebus_attach: fsl,imx51-gpio
simplebus_attach: fsl,imx51-gpio
simplebus_attach: fsl,imx51-wdt
simplebus_attach: fsl,imx51-wdt
simplebus_attach: fsl,imx51-epit
simplebus_attach: fsl,imx51-uart
simplebus_attach: fsl,imx51-uart
simplebus_attach: fsl,imx51-ecspi
simplebus_attach: fsl,imx51-sdma
simplebus_attach: fsl,imx51-cspi
simplebus_attach: fsl,imx51-i2c
simplebus_attach: fsl,imx51-i2c
simplebus_attach: fsl,imx51-ssi
simplebus_attach: fsl,imx51-audmux
simplebus_attach: fsl,imx51-ssi
simplebus_attach: fsl,imx51-fec
imxclock0: <Freescale i.MXxxx EPIT timer> mem 0xd0047000-0xd004afff irq 40 on simplebus0
Timecounter "i.MX EPIT Timecouter" frequency 66500000 Hz quality 1000
Event timer "i.MXxxx EPIT Eventtimer" frequency 66500000 Hz quality 1000
procfs registered