Comment 1 for bug 294951

any hardware, including qemu, which is how I captured the kernel messages:

$ sudo qemu -net tap -net nic,model=rtl8139 ibex-server-crashme.qcow2 -serial stdio
[ 0.000000] Kernel command line: root=UUID=1d4e76ad-ff3b-4736-8fb3-ce8e18944d61 ro console=ttyS0,9600n8