Robert Kaiser rob at sysgo.de
Tue Nov 10 12:00:56 CET 1998

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!


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

More information about the l4-hackers mailing list