Paul,
thanks for trying Fiasco and L4Linux!
"Paul Phillips" pphillips@ivue.com writes:
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?
No, I don't think so.
I take it that without `hello', L4Linux works correctly. My guess would be that hello has trouble running at the memory location you linked it at. Did you see `hello's output ("hello: My thread-id is...") at least once?
Did you get `hello' to work without L4Linux?
Why did you relocate it to 0x2400000? It should be able to run (even concurrently with L4Linux) at the memory location it is linked to using the distributed version of l4/server/hello/Makefile, 0x200000.
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 for the hint!
Michael
l4-hackers@os.inf.tu-dresden.de