In general, sure. MirageOS is in OCaml though, where you have a memory-safe language with a small C runtime. Corrupting arbitrary memory is much less likely.