Just rewrite the engines in Rust and SPARK Ada running on seL4.