hohmuth at innocent.com
Mon Nov 23 22:12:21 CET 1998
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
title= Fiasco + Linux
kernel= (fd0)/hohmuth/rmgr -sigma0
module= (fd0)/hohmuth/main -nowait
That is equivalent to the configuration used to boot the "hello world"
server, just that we load "glinux.gz" instead of "hello".
hohmuth at innocent.com, hohmuth at inf.tu-dresden.de
More information about the l4-hackers