[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