Problem booting Fiasco on Pentium IV

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Nov 9 22:38:10 CET 2004


On Tue Nov 09, 2004 at 16:23:55 -0500, Julian Grizzard wrote:
> Interesting.  That made it a bit farther, but brings me to a new
> problem.  Here's what I've got beyond the previous point
> 
> |...
> |Welcome to Fiasco(ia32)!
> |DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden
> |Rev: Tue Nov 9 12:01:14 2004 compiled with gcc 3.3.4 for Intel Pentium 4
> |Performance-critical config options(s) detected:
> |   CONFIG_NDEBUG is off
> |   CONFIG_NO_FRAME_PTR is off
> |
> |Enabling fully special nested mode for pic
> |Panic: Too much kernel memory reserved
> |Shutting down...
> |
> |Press any key to reboot
> 
> Guessing that has something to do with having 1GB of memory?

Yeah but I'd declare this a bug ;)

If you want to fix that now, go to l4/kernel/fiasco/src/kern/config.cpp
and decrease kernel_mem_per_cent (2nd occurance) appropriately, e.g. to
something like 4.



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