[tooling] State of the safety critical tools#175

alexandruradovici wants to merge 1 commit intorustfoundation:mainrustfoundation/safety-critical-rust-consortium:mainfrom

OxidosAutomotive:state_of_toolsOxidosAutomotive/safety-critical-rust-consortium:state_of_toolsCopy head branch name to clipboard