On Fri Nov 08, 2002 at 19:32:41 +0100, Volkmar Uhlig wrote:
Next, L4Linux has to be ported to the StrongARM. Is there a L4Linux/ARM available somewhere? Is someone working on it or has a student that can do it?
AFAIK, there is no L4Linux port to ARM. I did a not-yet-released port of Linux 2.4 to L4 for x86 which currently runs on Pistachio, Hazelnut and thanks to Adam on FIASCO. Based on that you could start an ARM adaptation. Adam started to factor out the x86 and L4 API dependencies to make the code base more reusable, but the x86 dependencies are still tremendous.
Before starting to port to another architecture more infrastructure work needs to be done inside L4Linux, otherwise the code will only get a big mess. I am currently trying to clean up the code and introducing some sort of interface to the different L4 APIs. This will still need some time but if someone wants to start a port to another architecture, feel free to raise your hands. I'll help where I can.
I do not know anybody who currently plans to do an ARM port nor do we have any resources to do it. Maybe the Dresden group???
We neither. Maybe in some (distant) future but we currently have no fixed plans to do a port (to ARM).
Adam