Unable to boot vmlinux with spike about riscv-linux

[palmer-dabbelt]

This is probably a version mismatch. The versions in here should match

https://github.com/sifive/freedom-u-sdk/tree/new

If you just run "make sim" it should boot Linux.

[szhou42]

Hi palmer, this repo seems to build a 64-bit toolchain by default, is it possible to build a 32-bit one?
nvm, i'll try to build it manually first without the provided Makefile

[szhou42]

I have built the riscv32-unknown-linux-gnu toolchain, and trying to build linux with this command

make -j4 ARCH=riscv vmlinux CROSS_COMPILE=riscv32-unknown-

and got lots of incompatible ABI errors for these .o files

/home/osdev/install/riscv/lib/gcc/riscv32-unknown-linux-gnu/7.1.1/../../../../riscv32-unknown-linux-gnu/bin/ld: arch/riscv/kernel/vdso/rt_sigreturn.o: ABI is incompatible with that of the selected emulation:
target emulation elf64-littleriscv' does not match elf32-littleriscv'
/home/osdev/install/riscv/lib/gcc/riscv32-unknown-linux-gnu/7.1.1/../../../../riscv32-unknown-linux-gnu/bin/ld: failed to merge target specific data of file arch/riscv/kernel/vdso/rt_sigreturn.o
/home/osdev/install/riscv/lib/gcc/riscv32-unknown-linux-gnu/7.1.1/../../../../riscv32-unknown-linux-gnu/bin/ld: arch/riscv/kernel/vdso/rt_sigreturn.o: file class ELFCLASS64 incompatible with ELFCLASS32
/home/osdev/install/riscv/lib/gcc/riscv32-unknown-linux-gnu/7.1.1/../../../../riscv32-unknown-linux-gnu/bin/ld: final link failed: File in wrong format
collect2: error: ld returned 1 exit status
VDSOLD arch/riscv/kernel/vdso/vdso-dummy.o

[palmer-dabbelt]

Everything should line up now in freedom-u-sdk, and we recently added support for setting the ISA and ABI. YMMV on the 32-bit port actually working, though, as it doesn't get tested as much as it should :).