-
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.
-
Talking Tock 27: USB, safety bug fixes and more
This is the 27th post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.
-
Compile-time Safety is for Everybody!
We just submitted the camera-ready version for a short paper on building kernels in Rust that will appear in APSys 2017 (Asia Pacific Workshop on Systems) next month. We’re really excited about to be able to share this paper because it clarifies some important misconceptions about our evaluation of Rust from our previous work.
-
Talking Tock 26: NRF52, external clock bugs and C bugs
This is the 26th post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.
-
Talking Tock 25: Towards 1.0, new design coming and a new paper
This is the 25th post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.