Both OpenSBI and Linux are patched to accomodate for S31's CLIC-centric (I presume?) interrupt architecture and XIP support. Not much are usable atm, but it reaches init and shell.
You can download the kernel, bootloader and OpenSBI on the Release page: https://github.com/GrieferPig/esp32-s31 ... ag/initial
Some outputs:
Code: Select all
~ # grep -E '^isa|^mmu' /proc/cpuinfo
isa : rv32imafc_zicntr_zicsr_zifencei_zca_zcf_zbb
mmu : sv32
~ # free -h
total used free shared buff/cache available
Mem: 14.7M 3.0M 8.9M 0 2.8M 8.2M
Swap: 0 0 0
~ # coremark | grep teration
Iterations/Sec : 8.278146
Iterations : 110