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