problem when booting l4linux

Adam Lackorzynski adam at
Fri Jul 13 14:05:02 CEST 2007


On Fri Jul 13, 2007 at 09:17:19 +0800, junioraozhi at wrote:
> I have built the fiasco,l4env,l4linux on my fedora core 5.
> But there are someting wrong with booting l4linux,it says "The running
> kernel does not have the l4lx segments " and goes to jdb.

You need to enable "Handle and preserve segments" under "Kernel Options"
and "ABI Extensions" in the Fiasco configuration menu. Enable the
experimental features before.

Adam                 adam at

More information about the l4-hackers mailing list