Booting multiple instances of L4 Linux

Adam Lackorzynski adam at
Tue Nov 8 23:33:24 CET 2011

On Tue Nov 08, 2011 at 14:52:04 +0100, Julien SIMONE wrote:
> I'm trying to boot 2 instances of L4 linux on top of Fiasco.OC micro
> kernel but I get an error during the checksum verification.
> I tried to boot a L4Linux and a hello, it was ok but not with 2 L4Linux.
> I would like to boot 2 l4Linux on a Beagleboard emulated by QEMU (The
> error is not from QEMU)
> The output is:
> "
> Verifying Checksum ... Bad Data CRC
> ERROR: Can't get kernel image!"
> Is it an error from my module.list file? My config file?..Any ideas?

Looks like an issue with u-boot that has problems loading this big(ger)
image. Does it work on a real BB?

Adam                 adam at

More information about the l4-hackers mailing list