building L4 x86 on cygwin

Adam Lackorzynski adam at
Mon May 23 18:27:00 CEST 2011


On Sun May 22, 2011 at 12:09:56 +0300, joel nider wrote:
> I'm trying to build l4 on cygwin (windows) for x86.  I have built binutils 2.21 and gcc 4.5.2 as cross-compilers (--target=i386-elf).  When I try to build l4, I pass SYSTEM_TARGET=i386-elf- as a parameter to 'make'.
> Preprocessing seems to complete successfully, but compilation fails on the first file (kip.cpp).  The error message is:
> src/kernel/fiasco/src/types/types.h:4:20: fatal error: stddef.h: No such file or directory
> My question is - what is missing?  Do I need to build glibc?  Or did I miss something while installing my gcc?

stddef.h comes with gcc, is it there in your installation? If, in which
path is it?

Adam                 adam at

More information about the l4-hackers mailing list