> In the long term, I wish to guarantee the absence of bugs in the > security/safety-critical parts of Genode but I cannot predict the means > to get there yet (Formal verification? Use of higher-level languages?). ...Cogent? > The added Rust support gives us the chance to wet our toes with one > possible direction.