Robert Kaiser rob@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
l4-hackers@os.inf.tu-dresden.de