Arm Barrelfish Qemu

Barrelfish CPU driver starting on ARMv5 Board id 0x00000113
The address of paging_map_kernel_section is 0xfff1c4b0
XXX: Debug print to make Bram's code work
Kernel ready.
init: invoked as: init 2097152
Spawning memory server (arm/sbin/mem_serv)...
Spawning monitor (arm/sbin/monitor)...
kernel user page fault WHILE DISABLED in '�YD': addr 5ff334 IP 5ff334
monitor: invoked as: arm/sbin/monitor 7708672
kernel user page fault WHILE DISABLED in 'X�C': addr 5ff334 IP 5ff334
kernel user page fault WHILE DISABLED in '�YD': addr 20000050 IP 204420
kernel user page fault WHILE DISABLED in '�YD': addr 20000050 IP 204420
kernel handle_user_page_fault: too many faults, making domain unrunnable
kernel user page fault WHILE DISABLED in 'X�C': addr 10 IP 10
kernel user page fault WHILE DISABLED in 'X�C': addr 10 IP 10
kernel handle_user_page_fault: too many faults, making domain unrunnable
kernel user page fault WHILE DISABLED in '��E': addr 5ff41c IP 5ff41c
kernel user page fault WHILE DISABLED in '��E': addr 10 IP 10
kernel user page fault WHILE DISABLED in '��E': addr 10 IP 10
kernel handle_user_page_fault: too many faults, making domain unrunnable