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

Wangjintang wangjintang at huawei.com
Sat Feb 2 10:34:38 CET 2013


hi, Simon
  Thanks for your detail info.
  I change the compiler to  "Sourcery CodeBench Lite 2012.03-57", and use "make; make sim" then Barrelfish can run
in qemu arm.  Maybe there are  compatibility problem of eldk 5.3 armv7 compiler.

Best Regards!
zhangchd


> -----Original Message-----
> From: Simon Gerber [mailto:simon.gerber at inf.ethz.ch]
> Sent: Friday, February 01, 2013 4:50 PM
> To: Wangjintang
> Cc: barrelfish-users at lists.inf.ethz.ch
> Subject: Re: [Barrelfish-users] problem about run barrelfish in qemu arm
> 
> Hi,
> 
> I'm running the ARMv5 port of barrelfish on qemu as follows:
> 
> (assume that we have the source and build directory for barrelfish in
> one directory & we're in the build directory)
> 
> ../barrelfish/hake/hake.sh -s ../barrelfish/ -a armv5
> make
> make sim
> 
> version info:
> OS: Ubuntu 12.04.1 LTS
> gcc:  arm-none-linux-gnueabi-gcc (Sourcery CodeBench Lite 2012.03-57) 4.6.3
> qemu: 1.0.50 (Debian 1.0.50-2012.03-0ubuntu2.1)
> Barrelfish: release 2013-01-11
> 
> Given that configuration make sim succeeds with the following output:
> 
> cp ../barrelfish//hake/menu.lst.armv5 armv5/menu.lst
> ../barrelfish//tools/arm-mkbootcpio.sh armv5/menu.lst armv5/romfs.cpio
> 51266 blocks
> qemu-system-arm -kernel armv5/sbin/cpu.bin -nographic -no-reboot -m
> 256 -initrd armv5/romfs.cpio
> Barrelfish CPU driver starting on ARMv5 Board id 0x00000113
> The address of paging_map_kernel_section is 0xfff15d8c
> spawn_module
> XXX: Debug print to make Bram's code work
> Kernel ready.
> init: invoked as: init 2097152
> Spawning memory server (armv5/sbin/mem_serv)...
> Spawning monitor (armv5/sbin/monitor)...
> monitor: invoked as: armv5/sbin/monitor 7712768
> RAM allocator initialised, 136 MB (of 200 MB) available
> Spawning ramfsd on core 0
> ramfsd.0: pre-populating from boot image...
> ramfsd.0: ready
> Spawning skb on core 0
> Spawning ./armv5/sbin/spawnd on core 0
> Spawning ./armv5/sbin/startd on core 0
> spawnd.0: coreid 0 is arch id 0
> all 1 monitors up
> No bootscript
> 
> Best,
> 
> -- Simon
> 
> On 31 January 2013 11:48, Wangjintang <wangjintang at huawei.com> wrote:
> > 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
> >
> >
> > _______________________________________________
> > Barrelfish-users mailing list
> > Barrelfish-users at lists.inf.ethz.ch
> > https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users


More information about the Barrelfish-users mailing list