building L4 x86 on cygwin (Adam Lackorzynski)

joel nider joel at
Wed Jun 1 14:46:40 CEST 2011

Hi Adam,

Sorry - I had not installed my GCC correctly.  I just wanted to report that by using the following command line:

make SYSTEM_TARGET=arm-elf- L4STD_INCDIR=/usr/local/lib/gcc/arm-elf/4.4.3/include/ CONFIG_KERNEL_LOAD_ADDR=0x80000000

I was able to build successfully on Cygwin, and load the kernel image to my device.  I am now in the process of debugging the boot sequence.  It seems the memory I am loading to is not zero-initialized, and this is causing some issues with non-initialized variables.  Also, I don't have a serial port so printf() was crashing while trying to write to the Console.  I will write back when I have completed, or get really stuck.

Thanks for the support,

> Hi,
> 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 
> whichpath is it?
> Adam
> -- 
> Adam                 adam at
>  Lackorzynski

More information about the l4-hackers mailing list