Исправление aist1, (текущая версия) :
Неожиданно приехал мой RISC-V :)
Я сразу не обратил внимания, на плате JTAG есть и GPIO. Можно подрубить patformio и что-нить низкоуровневое/встраиваемое на ней ваять. Оно, конечно, не для этого, но вот портировать ядро при наличии JTAG будет очень даже удобно.
Исходная версия aist1, :