L4-Linux

[Michael Hohmuth]

Robert Kaiser <rob at sysgo.de> writes:

> On Fri, 6 Nov 1998, OKUJI Yoshinori wrote:

> > kernel info page mappt to: 00001000KDB: sig_sched: invalid ext_preempter

> Same here. I'm not sure if I got the menu.lst and rmgr.cfg right.
> 
> Would someone who has a working setup (there's got to be someone
> who has, right ?) please kindly post his menu.lst and rmgr.cfg to
> this forum ?

You don't need a rmgr.cfg, and your menu.lst should contain something
like:

    title= Fiasco + Linux
    kernel= (fd0)/hohmuth/rmgr -sigma0
    module= (fd0)/hohmuth/main -nowait
    module= (fd0)/hohmuth/sigma0
    module= (fd0)/hohmuth/glinux.gz

That is equivalent to the configuration used to boot the "hello world"
server, just that we load "glinux.gz" instead of "hello".

Michael
-- 
hohmuth at innocent.com, hohmuth at inf.tu-dresden.de
http://home.pages.de/~hohmuth/