I have successfully booted L4-Linux under
Fiasco. There are problems, but I will work them out eventually. Thanks for a
neat platform to work on. I plan to do lots of work on Fiasco and
L4.
Right now I'm trying to run two servers
concurrently. This is just a "proof of concept" for now. I am trying
to run the "hello" server (relocated to 0x2400000) along with the
L4-Linux server. I load the "hello"server first and then L4-Linux.
L4-linux gets to the "Calibrating delay loop.." and hangs. I am
obviously forgetting something here. Is the printf used by the hello server
causing a problem?
BTW - I ran across the problem of the
"relocation truncated ...." The problem is in the
oskit/libsmp/x86/boot.S which contains the trampoline code. When the jump is
made to the 32 bit code some linkers have a problem resolving the long jump.
ljmp $KERNEL_CS,.........
The fix is to put the ".code32" before
the jump. This problem has been fixed in the
latest release of the OSkit.
Thanks in advance.
Paul Phillips