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?...

Leon Schuermann: "Memory Safety is Merely Table Stakes [...]" | RustConf 2025

Slides: https://leon.schuermann.io/publications/2025_Schuermann_Omniglot_RustConf25_Slides.pdf Abstract: Interacting with foreign languages through Rust’s FFI exposes Rust to a range of potential…

youtu.be

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

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…

tockos.org

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. 🎟️

RustConf 2025

RustConf 2025 | Seattle, WA & Online, Sept 2-5, 2025

ti.to

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

Sponsor @tock on GitHub Sponsors

Support the Tock Foundation's open source work, bringing security, extensibility, and performance to an operating system near you!

github.com

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)