Re: Pistachio on mips64

Andrew Baumann <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hi,

On Wed, 20 Jun 2007, Antoine Amirault wrote:
> 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.

Are you using a mips64 cross-compiler? It looks as if you may be trying to 
build Pistachio with an x86 compiler, which obviously won't work. You need a 
mips64-elf toolchain. GCC 3.4.4 is known to work.

Also, AFAIK noone has used qemu for running the mips64 kernel before, although 
that shouldn't stop you from trying to get it to work. We use the Sulima 
simulator for this target: http://ertos.nicta.com.au/software/sulima/

Cheers,
Andrew


> 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.