(register) access to memory mapped I/O (as a common use-case in safety-related systems) interop through Rust’s C FFI complex safety invariants that cannot be verified by the Rust compiler Currently, ...

Develop a community-vetted coding guideline for Rust in safety-critical applications. A living document that is updated as features are added to Rust and we learn more by doing. The following are ...