[Barrelfish-users] Run barrelfish on arm-architecture in Qemu

[Daniel Röhrig]

Hi Stefan,

we are getting a bit desperate running in all kinds of problems trying
to create a working environment for barrelfish. Three people with
different OS (Debian unstable, Ubuntu Precise, Gentoo) have either
- failed to install the right cabal or the right ghc version (Ubuntu,
  you can either have the right ghc version or a cabal installed
  ghc-paths but not both),
- could do a hake on the source code but couldn't get "make" to work
  properly (Debian unstable, with a bunch of different Toolchains from
  Linaro to Code Sourcery to self-compiled)
- or could hake and make barrelfish but couldn't start it with qemu
  (Gentoo)

If you really, really want to make our day - and I know this a lot to
ask for -, please try to set up a fresh debian stable, ubuntu or even
gentoo and if it works please tell us what to do so that we can
reproduce your steps and finally start working on our project.

Thanks und viele Grüße
Daniel



Am Mon, 11 Jun 2012 11:03:02 +0200
schrieb Stefan Kästle <stefan.kaestle at inf.ethz.ch>:

> You should also make sure that the proper dynamically linked
> libraries are loaded (e.g. by setting LD_LIBRARY_PATH). Otherwise the
> system will still use the ones in the default library path.
> 
> Check:
> ldd ~/qemu/arm-softmmu/./qemu-system-arm
> 
> On 06/11/2012 10:47 AM, Kornilios Kourtis wrote:
> > Hi Daniel,
> >
> > On Sun, Jun 10, 2012 at 07:11:55PM +0200, Daniel Röhrig wrote:
> > [snip]
> >> But could it be that our way of invoking qemu is the real problem?
> >> We have to use our own qemu since our test-server already has
> >> qemu-kvm installed and refuses to start anything arm-like. That's
> >> why we start qemu like this:
> >>
> >> ~/qemu/arm-softmmu/./qemu-system-arm -kernel arm/sbin/cpu.bin
> >> -nographic -no-reboot -m 256 -initrd arm/romfs.cpio
> >>
> >> That should work, right?
> > Looks OK to me.
> >
> > Note that "make sim" will show you the way we start qemu in our
> > tests: $ make sim
> > qemu-system-arm -kernel arm/sbin/cpu.bin -nographic -no-reboot -m
> > 256 -initrd arm/romfs.cpio Barrelfish CPU driver starting on ARMv5
> > Board id 0x00000113 ...
> >
> >
> > cheers,
> > Kornilios.
> >
>