[Barrelfish-users] problem about run barrelfish in qemu arm

[Wangjintang]

Hi all,

  I meet a problem when I run barrelfish in qemu arm. this is detail information:

OS: debian 6.06 x86_64
gcc: eldk-5.3 arm-linux-gnueabi-gcc 4.7.2 
qemu: 0.14.0
Barrelfish: 2013-01-11 release


# qemu-system-arm  -kernel arm/sbin/cpu.bin -nographic -no-reboot -m 256 -initrd romfs.cpio
Barrelfish CPU driver starting on ARMv5 Board id 0x00000113
The address of paging_map_kernel_section is 0xfff159f8
kernel Kernel fault at fff27214 vector 00000004

kernel Processor save_area at: 0xfff11624
kernel r0       00200000
kernel r1       00000000
kernel r2       00020000
kernel r3       0000001c
kernel r4       a0000000
kernel r5       0000a000
kernel r6       00000000
kernel r7       00000000
kernel r8       00200000
kernel r9       00000000
kernel Kernel fault at fff27214 vector 00000004

  There are all error info print to screen. Whether my qemu version to new ?
thanks a lot !

Regards,
jintang