edmundo@rano.demon.co.uk writes:
Since I'm unable to run L4-Linux with Fiasco on my 486 - I can boot with init=/bin/sh but it reboots as soon as I do anything that involves a fork - I thought I'd try L4-Linux with the old, non-free L4. So I downloaded l4-gmd/486/obj/l4.exe [...]
This ancient version doesn't work with L4Linux -- it's too buggy. :-(
But how do I make grubboot.img out of l4.exe, if this is what I'm supposed to do? (The man page for rmgr says the modules should be ELF files.)
If you want to try it anyway: Copy l4.exe to l4/l4/kernel/l4-gmd/src, cd to l4/l4/kernel/l4-gmd and type "make". If all goes well, this should build a grubboot.img binary.
Michael
l4-hackers@os.inf.tu-dresden.de