Problem booting Fiasco on Pentium IV
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 at os.inf.tu-dresden.de
More information about the l4-hackers