jgr@debian:~/toolchain/linux$ or32-elf-sim -f arch/openrisc/or1ksim.cfg vmlinux
Insn MMU 0KB: 1 ways, 64 sets, entry size 1 bytes
Data MMU 0KB: 1 ways, 64 sets, entry size 1 bytes
Verbose on, simdebug off, interactive prompt off
Machine initialization...
Clock cycle: 10ns
No data cache.
No instruction cache.
BPB simulation off.
BTIC simulation off.
Or1ksim 0.3.0
Building automata... done, num uncovered: 0/213.
Parsing operands data... done.
Cannot open Ethernet RX file "eth0.rx"
UART at 0x90000000
Resetting Tick Timer.
Resetting Power Management.
Resetting PIC.
Starting at 0x00000000
loadcode: filename vmlinux  startaddr=00000000  virtphy_transl=00000000
Not COFF file format
ELF type: 0x0002
ELF machine: 0x005c
ELF version: 0x00000001
ELF sec = 24
Section: .text, vaddr: 0xc0000000, paddr: 0x0 offset: 0x00002000, size: 0x00291cd8
Section: _fdt_blob, vaddr: 0xc0291cd8, paddr: 0x291cd8 offset: 0x00293cd8, size: 0x00004000
Section: __ex_table, vaddr: 0xc0295cd8, paddr: 0x295cd8 offset: 0x00297cd8, size: 0x00000bd8
Section: .rodata, vaddr: 0xc0298000, paddr: 0x298000 offset: 0x0029a000, size: 0x00036a3c
Section: __param, vaddr: 0xc02cea40, paddr: 0x2cea40 offset: 0x002d0a40, size: 0x000015c0
Section: .data, vaddr: 0xc02d0000, paddr: 0x2d0000 offset: 0x002d2000, size: 0x0001c000
Section: .init.text, vaddr: 0xc02ec000, paddr: 0x2ec000 offset: 0x002ee000, size: 0x00017d80
Section: .init.data, vaddr: 0xc0303d80, paddr: 0x303d80 offset: 0x00305d80, size: 0x000af94c
WARNING: sim_init: Debug module not enabled, cannot start remote service to GDB
Ok, booting the kernel.
****************** counters reset ******************
cycles 109999, insn #88067
****************** counters reset ******************
exit(34425)
@reset : cycles 109999, insn #88067
@exit  : cycles 3270828, insn #2702024
 diff  : cycles 3160829, insn #2613957