STPA GAP-2: Wire remaining 50 RED FFI functions to verified models #9
Description
10/60 done (mutex, msgq, stack, pipe, event). 50 remaining. See docs/safety/stpa-gap2-audit.md for the full list with priorities.
{{ message }}
10/60 done (mutex, msgq, stack, pipe, event). 50 remaining. See docs/safety/stpa-gap2-audit.md for the full list with priorities.