--- Volkmar Uhlig volkmar@ira.uka.de wrote: > You can't use RMGR with Pistachio--why would you...?
O.K - maybe it was not a very good idea.. you decide ;)
I'm getting a memory descriptor overflow (m=200; n=200), while trying to _boot_ the kernel.
'esquisse' of whats going on:
RMGR -- configuring s0 / roottask RMGR -- can't detect L4 kernel -- assuming UKA kernel. RMGR -- booting /boot/ia32-kernel... pistachio on foo@bar ... init_arch->boot_mem_init->kmem_init->activate_gdt(); several remaps() occurs... entering KDB, locked, blood shed ;)
You can see in init.cc (pistachio-0.1) the following line :
i < get_kip()->mem_info.get_num_descriptors(); i++ (...)
hint: It would be great if the kernel could return to RMGR but its too early to tell - for now Volkmar is right and thus no RMGR can be used with X.2 ;)
etienne
===== iD
______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca
[Etienne Robillard]
--- Volkmar Uhlig volkmar@ira.uka.de wrote: > You can't use RMGR with Pistachio--why would you...?
O.K - maybe it was not a very good idea.. you decide ;)
I'm getting a memory descriptor overflow (m=200; n=200), while trying to _boot_ the kernel.
You have to use the kickstart to boot the L4Ka::Pistachio kernel on ia32. The kickstart initializes the KIP with various values (including the memory descriptors). Loading the kernel with a loader which does not initialize the KIP will cause problems like this.
eSk
l4-hackers@os.inf.tu-dresden.de
-
Espen Skoglund -
Etienne Robillard