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@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