Good evening Adam,
I've to load the modules with GRUB and I haven't found the "main" and "l4exec" ones. I've followed all the steps and suggestions you'd give me and the compiling/building of l4 environment and l4linux produces the vmlinuz compressed image, without encountering any problems.
This is my entry in GRUB (based on this http://www.nabble.com/file/p12056312/l4_kickstart.pdf paper , page 18):
title L4Linux26/Fiasco+dope
root (hd0,6) kernel /boot/L4Linux/bootstrap modaddr 0x06000000 module /boot/L4Linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /boot/L4Linux/sigma0 module /boot/L4Linux/roottask task modname "bmodfs" attached 4 modules module /boot/L4Linux/events module /boot/L4Linux/names --events module /boot/L4Linux/log --events module /boot/L4Linux/dm_phys --isa=0x00800000 -v --events module /boot/L4Linux/simple_ts -t 300 --events module /boot/L4Linux/rtc --events module /boot/L4Linux/l4io --noirq --events module /boot/L4Linux/l4exec --events module /boot/L4Linux/l4dope --l4io --menubar --transparency module /boot/L4Linux/loader --fprov=BMODFS linux26.cfg module /boot/L4Linux/bmodfs module /boot/L4Linux/vmlinuz module /boot/L4Linux/linux26.cfg module /boot/L4Linux/libloader.s.so module /boot/L4Linux/libld-l4.s.so vbeset 0x117 506070
PS. The paths are different from mine, because I haven't copied the modules all together; I prefer to work in this way.. PS2. The file linux26.cfg has this content:
task "vmlinuz26" "earlyprintk=yes mem=256M video=l4fb root=/dev/hda2" all_sects_writable allow_cli