Pistachio on mips64
"Antoine Amirault" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Hi, I'm a student from ESIAL (a french engineering school) and I'm currently doing an internship in Beijing. I have to simulate on a PC Pistachio running on a MIPS64 emulated with qemu. I have installed qemu, recompile gcc to make it generating code for MIPS. After downloading pistachio I follow the instructions and there is a problem at the beginning of the compilation and I haven't found help on the Internet I hope you could help me. This is the code generated : antoine@liama-desktop:/var/projects/deviceware/pistachio$ make make[1]: Entering directory `/var/projects/deviceware/pistachio' ===> src/glue/v4-mips64/asmsyms.cc cd src/glue/v4-mips64/ && gcc -nostdinc -I/var/projects/deviceware/pistachio/include -I/home/antoine/Desktop/pistachio-0.4/kernel/include -I/opt/crosstool/gcc- 3.4.5-glibc-2.3.6/mipsel-unknown-linux-gnu/lib/gcc/mipsel-unknown-linux-gnu/3.4.5/include -Umips64 -Ur4x00 -Uu4600 -Uv4 -D__ARCH__=mips64 -D__CPU__=r4x00 -D__PLATFORM__=u4600 -D__API__=v4 -imacros /var/projects/deviceware/pistachio/config/config.h -imacros /home/antoine/Desktop/pistachio-0.4/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-0.4/kernel/include/config.h -include /home/antoine/Desktop/pistachio-0.4/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 -EB -mcpu=r4000 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio-0.4 /kernel/src/glue/v4-mips64/asmsyms.cc gcc: unrecognized option `-non_shared' cc1plus: error: invalid option `cpu=r4000' ===> src/generic/lib.cc cd src/generic/ && gcc -nostdinc -I/var/projects/deviceware/pistachio/include -I/home/antoine/Desktop/pistachio-0.4/kernel/include -I/opt/crosstool/gcc- 3.4.5-glibc-2.3.6/mipsel-unknown-linux-gnu/lib/gcc/mipsel-unknown-linux-gnu/3.4.5/include -Umips64 -Ur4x00 -Uu4600 -Uv4 -D__ARCH__=mips64 -D__CPU__=r4x00 -D__PLATFORM__=u4600 -D__API__=v4 -imacros /var/projects/deviceware/pistachio/config/config.h -imacros /home/antoine/Desktop/pistachio-0.4/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-0.4/kernel/include/config.h -include /home/antoine/Desktop/pistachio-0.4/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 -EB -mcpu=r4000 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio-0.4 /kernel/src/generic/lib.cc gcc: unrecognized option `-non_shared' cc1plus: error: invalid option `cpu=r4000' make[1]: *** [src/generic/lib.o] Error 1 make[1]: Leaving directory `/var/projects/deviceware/pistachio' make: *** [all] Error 2 Thank you for your help