Hacker News new | ask | show | jobs
Tock: A secure embedded operating system for microcontrollers written in Rust (tockos.org)
2 points by wh313 4 days ago