Configuration to build RISC-V 32bit bbl

openhwgroup / cva6-sdk

CVA6 SDK containing RISC-V tools and Buildroot

60 stars 65 forks source link

Configuration to build RISC-V 32bit bbl #40

Open echo579 opened 4 years ago

echo579 commented 4 years ago

I added CONFIG_ARCH_RV32I=y into configs/linux_defconfig and got a 32bit vmlinux. But I didn't find any configuration about bbl. I added --with-arch=rv32i after bbl: vmlinux, it didn't work. What should I do to build a 32bit bbl?