Re: About build of L4Linux

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