Rust를 임베디드에서 사용하려는 노력은 많이 있는데, AdaCore에서 나서서 아예 tool 인증까지 된 개발환경을 제공하려는 것 같습니다. (항공용 SW같은 Safety-Critical SW는 개발에 사용하는 도구도 인증을 받아야 합니다.)