About build of L4Linux

[Martin Pohlack]

林和宏 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