In OS design, trading-off performance, extensibility, and security is fundamental. How do you balance them? We're launching a 10-week virtual seminar for engineers to go deep on this topic, led by OS researcher Amit Levy. betterbytes.org/courses/semi... #OperatingSystems #SystemsProgramming

Catch Leon Schuermann's presentation from RustConf 2025: "Memory Safety is Merley Table Stakes" on safely interacting with native libraries from Rust, even in resource constrained operating systems like Tock. youtu.be/cOP219vkax8?...

The Tock project's @bradjc.bsky.social, @Marshall Clyburn and Victor Cionca's paper on batch-scheduling in IoT devices for better power consumption won a best paper at EWSN! www.cs.virginia.edu/~bjc8c/paper...

It's official! #TockWorld8 will be hosted at @microsoft.com in Redmond, WA, just a stone's throw from @RustConf.com on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more! world.tockos.org/tockworld8/r...

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/st... #rust #osdev

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 www.usenix.org/publications...

🎉 Registration for #RustConf 2025 is OPEN! We we know how many of you have been patiently waiting— & yes, we took our time because this year’s RustConf is worth the wait! We hope you'll join us for RustConf 2025—the Rust event that's all about what's NEXT. 🎟️

Tock's GitHub Sponsors profile is live! You can sponsor us to support the Tock Foundation's open source work 💖 github.com/sponsors/toc...

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/tockworld8/cfp

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/tockworld8/cfp

You can now follow Tock on Mastodon (fosstodon.org/@tock)