using L4-Linux

[Edmund GRIMLEY EVANS]

Thanks for your reply.

I'm now using the rmgr which I compiled myself (which means I can
insert printfs!) and I have tried running L4-Linux with and without the
rmgr.cfg.linux.

Without that config file, or with an empty config file, it does what I
described before:

> > Partition check:
> >  hda: hda1 hda2
> > VFS: Mounted root (ext2 filesystem) readonly.
> > wake_up_process: ipc failed
> > wake_up_process: ipc failed
> > wake_up_process: ipc failed
> > ...
> > wake_up_process: ipc failed

Then reboots.

With the example config file supplied, or with a config file in which I
only put the task lines and nothing else, the kernel complains about
not being able to grab IRQs (for IDE and the floppy) and consequently
fails to mount the root file system. (At least, by not rebooting, it
gives me a chance to get a proper look at the kernel messages on the
screen!)

Does the mere presence of a config file that lists the tasks cause some
IRQ-related default value to be set differently from the default value
it gets when there is no config file at all? That would be one way of
explaining it.

> Hmm... a little bit of debugging would maybe help.  Do you have a
> second machine available which you could connect to the first one
> using a null-modem cable?

I have a second machine. It sounds like I should acquire a null-modem
cable. (At present I also have a third Linux box, but that one's a
SPARC.)

Edmund