[okl4-developer] OKL4 3.0 is here!

[Geoffrey Lee]

On Sat, Oct 25, 2008 at 12:58:04AM +0900, Alexandre Courbot wrote:
> > OKL4 supports ARM, MIPS, x86 and XScale.
> > OKL4 3.0 has been published first for ARM.  x86 is scheduled according to
> > customer priority.
> 
> Thanks for your reply. I have tried to follow the hello world tutorial
> using the SDK and toolchain provided on the website as indicated, but
> it fails as soon as I type make:

Alexandre - you need a new toolchain.  The SDK has been compiled
with EABI support.

You can build such a toolchain with a modified crosstool.  We have
released the necessary modifications to crosstool which can be
downloaded on the OK Labs public wiki.

	-gl

> 
> $ make
> make -C hello KERNEL=micro BUILD=debug
> make[1]: Entering directory `/home/gnurou/Work/L4/testokl4/singlecell/hello'
> cp hello.xml.in build.micro-debug/bin/hello.xml
> arm-unknown-linux-gnueabi-gcc -O2 --std=gnu99 -Wall
> -Wstrict-prototypes -Wmissing-prototypes -Wnested-externs
> -Wmissing-declarations -Wredundant-decls -Wundef -Wpointer-arith
> -Wno-nonnull -Werror -march=armv5te -mtune=xscale -O2 -nostdlib
> -nostdinc -g  -Iinclude
> -I/home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/include  -c
> src/hello.c -o build.micro-debug/src/hello.o
> make[1]: arm-unknown-linux-gnueabi-gcc: Command not found
> 
> Indeed, the name of the provided compiler is arm-linux-gcc. So I
> redefined the TOOLPREFIX environment variable to match, but then link
> fails:
> 
> arm-linux-ld -o build.micro-debug/bin/hello -Ttext=0x80000000
> -L/home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/crt0.o
> build.micro-debug/src/hello.o --start-group
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/libc.a
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/libokl4.a
> /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/arm-linux/bin/../lib/gcc/arm-linux/3.4.4/libgcc.a
> --end-group
> arm-linux-ld: ERROR: build.micro-debug/src/hello.o is compiled for
> EABI version 0, whereas build.micro-debug/bin/hello is compiled for
> version 4
> arm-linux-ld: failed to merge target specific data of file
> build.micro-debug/src/hello.o
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/crt0.o(.text+0xc):
> In function `_start':
> : internal error: unsupported relocation error
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/crt0.o(.text+0x20):
> In function `_thread_start':
> : internal error: unsupported relocation error
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/libc.a(sys_init.o)(.text+0xc):
> In function `__sys_thread_entry':
> libs/c/src/sys-okl4/sys_init.c:78: internal error: unsupported
> relocation error
> /home/gnurou/Work/L4/sdk//okl4/xscale/micro-debug/libs/libc.a(sys_init.o)(.text+0x10):libs/c/src/sys-okl4/sys_init.c:78:
> internal error: unsupported relocation error
> 
> Followed by hundreds of other "unsupported relocation error". I am
> still a newbie when it comes to ARM, so this is quite an unusual
> message to me. Anyway, I suppose you wanted to know that following the
> instructions of the tutorial leads to a failure to compile (unless I
> did something wrong, but I double-checked everything). I'd be glad to
> get any pointer as to how to go through the compilation process
> successfully though, as we plan to move our project to OKL4 3.0.
> 
> Thanks,
> Alex.
> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
> 

--