Invest in your growth and learn alongside a cohort of your peers. Many companies will cover this via professional development budgets.

Learn more and register here: betterbytes.org/courses/semi...

#OperatingSystems #Research #Systems #Education #Kernel

This seminar is run by Better Bytes (the Tock Foundation), a non-profit dedicated to systems research and education. It's designed for a professional schedule.

- When: Tuesdays, 11am PT, Oct 21 - Dec 23

- Who: Practicing SWEs with systems experience

The goal is to make you a better systems builder and researcher. Each week involves reading 1-2 papers and joining a 1-hour live discussion to analyze this core trade-off in different contexts.

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

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…

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

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…

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

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

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

🎟️

Sponsor @tock on GitHub Sponsors Support the Tock Foundation's open source work, bringing security, extensibility, and performance to an operating system near you!

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)