-
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.
-
Talking Tock 24: μAs during sleep, ADC clocks, and too many PRs to count
This is the 24th post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.
-
Low-Power Operation: Part 2, wherein we prototype a software architecture
For background, in order to support the Signpost use case, we want Tock go into a deep sleep state (~5μA on the SAM4L) whenever possible.