[L4 on realview Cortex A9] Failing on board check during fiasco bootup

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Feb 15 18:21:15 CET 2011


On Tue Feb 15, 2011 at 19:44:29 +0530, Naveen Chandrakar wrote:
> Actually when we tried qemu for running "smp linux", and it ran fine with
> "realview-pbx-a9" board with "-smp 4". Where it booted up with 4 core
> configuration.
> For the same reason we were selected "realview-pbx-a9" board configuration
> when doing "make config" for L4 microkernel under the assumption that it
> would run. But the board check itself is failing afterwards (for qemu).
> If you could recommend any board which can be used for the "multicore
> development" it would be great :).
> We really liked the documentation and the code support which is available
> with fiasco group for the same reason we wanted to have fiasco as our
> primary candidate for experimentations. Please let me know if with some
> effort we would be able to bring up the multicore microkernel, i might be
> able to help out in case some effort is required for the unimplemented part.

Yes, it works with Linux as Linux was (likely) used for developing this.
I've got a hack running internally now and posting patches upstream...

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list