You can already port over a RISC-V SoC to Aegis. I have not tested that yet but it is something I really want to do.