There has been some crossover between the work in Tock and the Rust Embedded WG. Hopefully, by providing a summary of Tock’s focus and status, we can find ways to collaborate across the ecosystem more deliberately.
Helium develops wireless modules for IoT and has selected Tock as a way to support application development. The OS creates a unique segregation between kernel and application space using minimal memory protection. As such, blocking and dangerous application code can be written in any language without hindering kernel and hardware driver performance. Hard crashes are nearly eliminated and verbose debug messages can be provided when an application violates certain parameters.