Fiasco + L4Linux auf echter Hardware

Adam Lackorzynski adam at
Tue Aug 9 00:50:49 CEST 2005

On Mon Aug 08, 2005 at 17:49:39 +0200, Marcel Selhorst wrote:
> Hmm, no, that didn't work, _but_ I found the solution:
> By adding "mem=128M", the pagefault is gone and L4Linux is booting :)
> Why is the option inside the L4Linux-kernel ignored? I have set under
> "Advanced Options": (128) Kernel default memory size.
> You might want to catch this pagefault for L4Linux...

Indeed, done. Available in a couple of hours. This should also fix the
above issue.

Adam                 adam at

More information about the l4-hackers mailing list