L4-Linux with l4-gmd

[edmundo at rano.demon.co.uk]

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 and found an old menu.lst,
which contains examples such as:

kernel= (fd0)/rmgr -configfile
module= (fd0)/grubboot.img boothack nowait
module= (fd0)/rmgr.cfg.linux
module= (fd0)/glinux.gz root=/dev/sda1

kernel= (fd0)/rmgr
module= (fd0)/grubboot.img boothack nowait
module= (fd0)/hello

(Main difference: there is no sigma0 module.)

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.)

Edmund