Moritz Schneider

Hmm ok. Still very confusing to me that the GPT partitions print all zeros. It was not like this in the past. But maybe something changed in the bootloader in...

> `riscv64-unknown-elf-objcopy -S -O binary --change-addresses -0x80000000 bbl bbl.bin` https://github.com/openhwgroup/cva6/issues/469

> Also, earlycon=sbi didn't change anything. And I'd like to move to opensbi, but my research is using Keystone and they still use bbl unfortunately. @jctullos I have also noticed...

@Kendidi It is not supported to select this. You need to build it manually. I guess you could take a look at our build process and try to adapt it...

General comment: The linux kernel and buildroot use a local `.config` file. However this file is huge and they also provide a way to save a 'defconfig' which is basically...

Your steps should work... did you run `make clean` before? maybe he uses a cached rootfs.cpio If you want to put your own executable onto the fpga you could also...

Are you sure you are booting the correct bbl? If you want you could boot your vmlinux using spike or qemu and then check there if your executable is there....

Your process seems to be correct. Can you post your bbl file?

You seem to have made multiple changes to the build image. I cannot boot it in qemu or spike. It hangs at `ifconfig: SIOCSIFHWADDR: No such device`. I know that...

Why do you need a C compiler on the FPGA to run SPEC? You should be able to crosscompile SPEC and run it on the FPGA. No need for recompilation...