Fiasco + L4Linux auf echter Hardware

[Marcel Selhorst]

Hi Adam,

> Just guessing but try adding a 'noreplacement' argument to the kernel
> command line.

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...

Best regards and thanks again!

Marcel Selhorst