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.

You can already do that on several Risc-V chips with mmu.