L4-Linux

[Robert Kaiser]

Hello all,

On Fri, 6 Nov 1998, OKUJI Yoshinori wrote:

>   I've tried to boot L4-Linux for a while, but I cannot boot it with
> too many error printings. For example,
> 
> sigma0 denies mapping of address 02666000
> No kernel code/data
> 
> or,
> 
> 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 ?

Thanks in advance!

Rob

----------------------------------------------------------------
Robert Kaiser                          email: rkaiser at sysgo.de
SYSGO RTS GmbH
Carl-Zeiss-Str. 41                     phone: (49) 6131 9138-80
D-55129 Mainz / Germany                fax:   (49) 6131 9138-10