Re: L4::Pistachio 0.3 and Bochs

[Uwe Dannowski]

Espen Skoglund scribbled:
> [Ludovic Courtès]
> > Could you send us the config.h file that was used to compile the
> > kernel which is on the demo disk?
>
> These config files should be located under the configs/ directory on
> the demo disk.

They are not located on the demo disk. But you can find them in the 
binary distribution (pistachio-ia32-0.3.tar.bz2) in configs/ .

Cheers,
  Uwe