-
Crates.io Ecosystem Not Ready for Embedded Rust
As both Tock and the Rust ecosystem grow, we have been looking into using community-provided crates on crates.io to allow us to add features to Tock. For example, we are exploring using the hmac crate to support one of the networking protocols we are adding. While this seems promising, we are running into two major problems that are preventing us from using crates.io:
unsafeandstd::. -
Talking Tock 29: 1.0 release, imix and more
This is the 29th post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.
-
Announcing Tock 1.0: A stable ABI
The Tock team is happy to announce the first stable version of Tock, 1.0. Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers.
-
Talking Tock 28: Recapping the last couple months
This is the 28th post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.
-
Modeling Threats on a 64 kB Computer
We just submitted the camera-ready (i.e. final version) of a paper we wrote detailing the design and implementation of Tock for SOSP (Symposium on Operating Systems Principles), one of the premier publication venues for operating systems research. You can read the full paper. I think it’s written accessibly enough for most people who follow the project to get something out of it.