The Tock Operating System

@talkingtock

A safe, multitasking operating system for low-memory microcontrollers with KBs of RAM. Isolated kernel in #rustlang + HW isolated processes with a familiar API.

@[email protected]

tockos.org

Replies Reposts Media

The Tock Operating System
@talkingtock
Jun 27, 2025
In March, Tock contributors gathered (virtually) to hammer out priorities for improving Tock. Better Rust userland, better IPC, better dynamic loading, and verification! It was so much it took nearly two months to write the summary 🤣 tockos.org/blog/2025/stra… #rust #osdev
tockos.org
Tock Strategy Workshop
In March 2025, we held a virtual strategy workshop marking about a halfway point between TockWorld 7 and TockWorld 8. Our goal to discuss project direction and focus areas for the coming months—where...
The Tock Operating System
@talkingtock
Jun 26, 2025
Memory safety is great, but it's not enough for critical systems. How do we guarantee type safety when interfacing with unsafe C code or hardware? This ;login; article explores the challenges and solutions of doing so. #Rust #Embedded #OSDev usenix.org/publications/l…
The Tock Operating System
@talkingtock
Jun 23, 2025
Tock's GitHub Sponsors profile is live! You can sponsor us to support the Tock Foundation's open source work 💖 github.com/sponsors/tock?…
The Tock Operating System
@talkingtock
Apr 28, 2025
Join us for TockWorld this September, focused on Tock, OS and embedded systems security, and Rust. Do you have a cutting-edge project, case study, or research to share? Submit your proposal to give a talk. We look forward to your submissions!
world.tockos.org
TockWorld 8 - the annual gathering for the Tock Operating System community.
The annual gathering for the Tock Operating System community · Talks and Tutorials · Developer discussion.
The Tock Operating System
@talkingtock
Apr 24, 2025
You can now follow Tock on Bluesky (bsky.app/profile/tockos…) and Mastodon (fosstodon.org/@tock)