Following the instructions at os.inf.tu-dresden.de/fiasco/use.html I built Fiasco and the Hello World server worked. Excellent!
Then I tried building L4-Linux and it didn't work ...
Then I noticed that grub-ext2fs-floppy apparently already contains everything you need to run L4-Linux except for L4 itself. So I just copied the fiasco "main" that I had built onto the floppy image as supplied, hacked menu.lst a bit at random, and tried that.
That didn't work either, but the thing that caught my attention was a message something like this:
RMGR: L4/Pentium ...
I was running this on a 486.
So my questions are:
Do the same executables (main, rmgr, sigma0, glinux.gz) run on both 486 and Pentium, or do different versions have to be built? If the latter, are the versions in grub-ext2fs-floppy supposed to work only on Pentium? If so, how can I build a version for 486 when compiling on a 686 machine? (And also, could the code be made to run on both? It would make life easier ...)
Edmund