L4-Linux with l4-gmd

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