L4-Linux with l4-gmd

[Michael Hohmuth]

edmundo at 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
-- 
hohmuth at innocent.com, hohmuth at sax.de
http://www.sax.de/~hohmuth/