About build of L4Linux
mp26 at os.inf.tu-dresden.de
Sat Jul 7 22:44:22 CEST 2007
> I am a university student in japan.
> I have a question about an error in building L4Linux 2.6.
> I want to run L4Linux with L4Ka::Pistachio on an IA32 architecture machine.
You seem to use the Dresden version of L4Linux which AFAIK only runs on
L4/Fiasco, not (yet?) on L4Ka::Pistachio.
Please try it with L4/Fiasco.
More information about the l4-hackers