For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
A secure embedded operating system for microcontrollers (tockos.org)
115 points by udev4096 on June 2, 2024 | past | 93 comments
Tock Embedded Operating System (tockos.org)
5 points by voxadam on Feb 28, 2024 | past | 2 comments
Tock OS: Programmable IoT starts at the edge (tockos.org)
2 points by homarp on Nov 30, 2021 | past
Memory-Mapped Registers in Tock (tockos.org)
1 point by comradelion on May 9, 2018 | past
Virtualizing Bluetooth Low Energy Advertisements in Tock OS (tockos.org)
1 point by comradelion on Jan 15, 2018 | past
Crates.io Ecosystem Not Ready for Embedded Rust (tockos.org)
3 points by mnem on Nov 26, 2017 | past
Crates.io Ecosystem Not Ready for Embedded Rust (tockos.org)
3 points by dadrian on Nov 17, 2017 | past
Tock Embedded Operating System (tockos.org)
92 points by 0x4542 on Nov 7, 2017 | past | 23 comments
Tock: embedded operating system for concurrent mutually distrustful apps (tockos.org)
1 point by ingve on Sept 18, 2017 | past
Compile-time Safety is for Everybody (tockos.org)
3 points by dtolnay on Aug 2, 2017 | past
Introducing Hail, a development board for Tock embedded OS (tockos.org)
2 points by comradelion on March 23, 2017 | past
Talking Tock #11 – Meetings, Bluetooth and code hygiene (tockos.org)
1 point by comradelion on March 6, 2017 | past
Tock Embedded OS Design Document (tockos.org)
2 points by steveklabnik on Sept 16, 2016 | past
Tock Embedded Operating System (tockos.org)
16 points by cpeterso on Aug 11, 2016 | past
Ownership Is Theft: Experiences Building an Embedded OS in Rust (2015) [pdf] (tockos.org)
5 points by cpeterso on Aug 10, 2016 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You