The Tock Operating System

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

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…

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

Congrats to Amit Levy, expert in computer systems, on receiving an @NSF CAREER award! 🎉 The award, a top honor for early career faculty, supports junior faculty who demonstrate leadership in education and research. bit.ly/4jJIqfL

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 Bluesky (bsky.app/profile/tockos…) and Mastodon (@tock" target="_blank" rel="nofollow noopener">fosstodon.org/@tock)

New blog post from my team - Surface PCs with Intel include Pluton security processor using RUST!!! techcommunity.microsoft.com/blog/windows-i…

#Microsoft's New and improved Pluton security processor is based on Tock! techcommunity.microsoft.com/blog/windows-i…

"Stable Rust support, storage permissions, and 6lowpan oh my!" Tock release 2.2, possibly the most major minor version release ever. github.com/tock/tock/rele…

As @chipsalliance's #Caliptra RoT is steadily heading towards 2.0 release, read about our recent developments in the project: support for the @risc_v #VeeR EL2 core w/ User mode and PMP in the embedded #TockOS antmicro.com/blog/2024/10/s… @talkingtock @AMD @Google @Microsoft @nvidia

Working towards #Caliptra 2.0, we added User mode support to the @risc_v VeeR EL2 core. Read about the implementation, PMP support & the testing infrastructure w/ #Verilator, RISCV-DV, @talkingtock & @renodeio antmicro.com/blog/2024/09/u… @CHIPSAlliance @Google @AMD @Microsoft @nvidia

📣 Hello all! The 2024 Embedded WG Survey is now live! surveyhero.com/c/uenp3ydt We'd like to hear about your use of Rust on Embedded Systems, and you can help us by taking this anonymous survey, run by the Rust Survey team. CC @rustlang - and all other RTs/shares appreciated!

@rajsite @FlorianGilcher @Microsoft @Google @wyliodrin @oxidos It was interesting! Unfortunately no recordings this time...

@talkingtock @FlorianGilcher @Microsoft @Google @wyliodrin @oxidos Tock on WASM sounds interesting! Are talk recordings available?

Recap of a fun and productive TockWorld 7! Special thanks to our speakers: @FlorianGilcher, Bobby Reynolds (@microsoft), Lawrence Esswood (@google), Amalia Camilia Simion (@wyliodrin), Irina Nita from @oxidos, and Alexandru Radovici tockos.org/blog/2024/tock…

@rajsite Almost certainly. Some contributors have Pico 2s on the way, and the platform overall isn't that different from the previous Picos, for which there is already support.

@talkingtock Think TockOS would support rpi pico 2?

After 9 years, Tock + cargo can finally play nicely enough together for Tock to be able to compile with (mostly) stable cargo and no additional Makefile secret sauce tockos.org/blog/2024/talk…

Rust's Mutex, Atomics and UnsafeCell – Spooky Action at a Distance? tockos.org/blog/2024/rust…

@argorak' keynote, "tRust", will explore how performance gave way to trust in software development, and what role #rust plays. Details here: world.tockos.org/tockworld7/ #tockworld7 #tock #tockos @FerrousSystems

@AlexWyliodrin will talk about "Teaching Embedded Systems with Tock" at TockWorld 7 in San Diego. Details here: world.tockos.org/tockworld7/ #tockworld7 #tock #tockos @upb1818