Fiasco + L4Linux auf echter Hardware

Adam Lackorzynski adam at os.inf.tu-dresden.de
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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list