building L4 x86 on cygwin (Adam Lackorzynski)
joel nider
joel at nider.org
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,
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 at os.inf.tu-dresden.de
> Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list