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