Booting multiple instances of L4 Linux

Julien SIMONE jsimone at
Tue Nov 8 14:52:04 CET 2011



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?


Thank you,


Best regards.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list