After switching from sdcard to spisdcard fpr the nexys4ddr board, I managed to get it try to boot from an SD-card. I replaced rv32.dtp with nexys4ddr.dtp built when I generated the bitstream. However, the booting hangs:
I managed after many trials to get it working. I believe the issue was a mismatch various riscv toolchains. I had to install the 32-bit tool-chain and then it did work.
After switching from
sdcard
tospisdcard
fpr the nexys4ddr board, I managed to get it try to boot from an SD-card. I replacedrv32.dtp
withnexys4ddr.dtp
built when I generated the bitstream. However, the booting hangs:Any ideas on how to proceed appreciated!