Fiasco + L4Linux auf echter Hardware
selhorst at crypto.rub.de
Mon Aug 8 17:49:39 CEST 2005
> 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!
More information about the l4-hackers