iiinova — where your digital self keeps evolving

tockos.org @tockos.org · 06/10/2025

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

betterbytes.org

Research Seminar for Practitioners

A 10-week, expert-led virtual seminar for professional engineers to engage deeply with foundational and contemporary research. Register for Fall ‘25 Seminar Performance, Extensibility, and Security…

121

tockos.org @tockos.org · 03/10/2025

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

youtu.be

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…

042

tockos.org @tockos.org · 23/09/2025

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

cs.virginia.edu

System-wide Batch Peripheral Scheduling in Multi-tenantEmbedded Systems

020

tockos.org @tockos.org · 14/07/2025

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

021

tockos.org @tockos.org · 27/06/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/st... #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…

000

tockos.org @tockos.org · 26/06/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 www.usenix.org/publications...

010

Reposted by @tockos.org

RustConf @rustconf.com · 25/06/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. 🎟️

ti.to

RustConf 2025

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

041

tockos.org @tockos.org · 23/06/2025

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

github.com

Sponsor @tock on GitHub Sponsors

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

041

Reposted by @tockos.org

tockos.org @tockos.org · 28/04/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/tockworld8/cfp

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.

045

tockos.org @tockos.org · 28/04/2025

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.

045