Add support for running on litex-hub/linux-on-litex-vexriscv?
mithro opened this issue · 4 comments
Any thoughts on creating builds which are compatible with https://github.com/litex-hub/linux-on-litex-vexriscv ? You now get a quad-core with FPU support on cheaper high end FPGA boards (like the Digilent Arty A35T).
Hi Tim, thanks for pointing this out. I believe the builds should work since they were natively built in the Unmatched (RV64GC) with gcc and glibc.
I believe it might depend more on which libc is used by default on VexRiscv Linux (glibc, musl, etc).
Do you have more details on this or tried running it?
The link above claims it's a RV32. There's no Linux distribution for RV32 and it's not reasonable to expect Carlos to make one :) If it supports RV64GC then the onus is on VexRiscv to support the standard bootloaders.
IMO, while it's quite a feat to have the 32bit Linux running on it, the work to bring a full supporting distro with dependencies to it is not worth.
With new boards to be released soon and Qemu available, most developers will have the tools to develop more complex software like containers and etc.
Of course I will keep an eye on what could be ported and will try to play with VexRiscv on my FPGA :)
Just wanted to point out that Ubuntu since 20.04 LTS supports RV64GC officially and I can confirm that the instructions here work perfectly for QEMU 6.1: https://wiki.ubuntu.com/RISC-V