List of items needing to be addressed for Rust adoption into Aerospace

First off, thanks for creating this group. I also think Rust has great potential in aerospace.

I think it would be beneficial to list the main items needing to be addressed for Rust to be adopted into the aerospace industry.

I'll start:
- Certification of Rust compiler to meet aerospace industry standards. See https://github.com/ferrous-systems/sealed-rust.

- Full compiler support for architectures frequently used in aerospace, e.g. SPARC v8.