林和宏 wrote:
Hello.
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.
Cheers, Martin