We managed to boot a tiny bit of NuttX on the RISC-V Star64 JH7110 SBC! (Before crashing with a Privileged Instruction Exception)
This article explains how we patched a Linux Image to boot NuttX on Star64: https://lupyuen.codeberg.page/articles/linux.html Lup