Comment by Game_Ender

This is very exciting, the interop with C really opens the ability to fold this into an existing OS and drivers. Any existing examples of operating system integration, for example working with SafeRTOS [0].

0 - https://www.highintegritysystems.com/safertos/