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,

Joel

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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/