memory descriptor overflow was RE: [RMGR] kernel entry point and pistachio

Espen Skoglund esk at
Mon Aug 11 21:28:34 CEST 2003

[Etienne Robillard]
>  --- Volkmar Uhlig <volkmar at> 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.


More information about the l4-hackers mailing list