Starting kernel ...


OpenBSD/panda booting ...
probing memory
initarm: Configuring system ...
ID_PFR0  0x411fc092
ID_PFR1  0x83338003
ID_DFR0  0x00000000
ID_AFR0  0x00000402
ID_MMFR0 0x411fc092
ID_MMFR1 0x80000000
ID_MMFR2 0x411fc092
ID_MMFR3 0x411fc092
ID_ISAR0 0x00101111
ID_ISAR1 0x13112111
ID_ISAR2 0x21232041
ID_ISAR3 0x11112131
ID_ISAR4 0x00011142
ID_ISAR5 0x00000000
about to SWP 0x1234 -> 0
mem 0 reg 1
physmemory: 32768 pages at 0x80000000 -> 0x87ffffff
Allocating page tables
freestart = 0x005fe000, free_pages = 588290 (0x0008fa02)
IRQ stack: p0x8ffd1000 v0xcffd1000
ABT stack: p0x8ffd0000 v0xcffd0000
UND stack: p0x8ffcf000 v0xcffcf000
SVC stack: p0x8ffcd000 v0xcffcd000
Creating L1 page table at 0x8fffc000
Mapping kernel