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