l4 on mips

[Antoine Amirault]

Hi,
I'm student at ESIAL (a French engineering school) currently doing an
internship in  Beijing. I have to simulate l4 on a mips platform with qemu.

I have downloaded pistachio and mips64-elf-3.4.4 from
http://ertos.nicta.com.au/software/prebuilt/binaries.pml

When i compile the kernel i obtain the following messages :

antoine at liama-desktop:~/Desktop/pistachio-0.4-aos/build$ make
make[1]: Entering directory `/home/antoine/Desktop/pistachio-0.4-aos/build'
===> src/glue/v4-mips64/asmsyms.cc
cd src/glue/v4-mips64/ &&
/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc
-nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include
-I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include
-I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include
-Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181
-D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio-
0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio-
0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-
0.4-aos/kernel/include/config.h  -include /home/antoine/Desktop/pistachio-
0.4-aos/kernel/include/types.h -fno-builtin  -fomit-frame-pointer
-fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64
-mno-abicalls -non_shared -msplit-addresses  -EL -mcpu=r4100 -mips3 -mabi=64
-Wa,-mabi=o64   -c /home/antoine/Desktop/pistachio-0.4-aos
/kernel/src/glue/v4-mips64/asmsyms.cc
cc1plus: error: invalid option `cpu=r4100'
===> src/api/v4/exregs.cc
cd src/api/v4/ &&
/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc
-nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include
-I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include
-I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include
-Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181
-D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio-
0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio-
0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-
0.4-aos/kernel/include/config.h  -include /home/antoine/Desktop/pistachio-
0.4-aos/kernel/include/types.h -fno-builtin  -fomit-frame-pointer
-fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64
-mno-abicalls -non_shared -msplit-addresses  -EL -mcpu=r4100 -mips3 -mabi=64
-Wa,-mabi=o64   -c /home/antoine/Desktop/pistachio-0.4-aos
/kernel/src/api/v4/exregs.cc
cc1plus: error: invalid option `cpu=r4100'
make[1]: *** [src/api/v4/exregs.o] Error 1
make[1]: Leaving directory `/home/antoine/Desktop/pistachio-0.4-aos/build'
make: *** [all] Error 2

Do you know how to solve this ?
Maybe i should use another compiler.
Thanks for your help
Antoine
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070621/6e590a71/attachment.html>