This opens you up for disruption, if others with less expertise can write the same secure code using e.g. Rust (I have no clue about Rust)
On the other hand, MirageOS has no hardware drivers and depends entirely on a Xen hypervisor. This may be a smart move to get it all going, but also means a fundamental dependency on yet another large piece of unsafe code.