@talkingtock profile picture
The Tock Operating System @talkingtock

A safe, multitasking operating system for low-memory microcontrollers with KBs of RAM. Isolated kernel in #rustlang HW isolated processes with a familiar API.

Joined August 2016
  • Tweets 225
  • Following 92
  • Followers 932
15 Photos and videos
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/strateg… #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
1
143
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/logi…
156
Tock's GitHub Sponsors profile is live! You can sponsor us to support the Tock Foundation's open source work 💖 github.com/sponsors/tock?o=s…
2
124
The Tock Operating System retweeted
Princeton Computer Science@PrincetonCS
30 May 2025
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
Amit Levy

ALT Amit Levy
2
4
660
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/…

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.

world.tockos.org
2
121
You can now follow Tock on Bluesky (bsky.app/profile/tockos.org) and Mastodon (fosstodon.org/@tock)
82
#Microsoft's New and improved Pluton security processor is based on Tock! techcommunity.microsoft.com/…

Understanding the Microsoft Pluton security processor - Windows IT Pro Blog

Take a deep dive into the Pluton security processor to learn more about this foundational technology.

techcommunity.microsoft.com
5
107
"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/release…

Release Tock 2.2 · tock/tock

Tock 2.2 Tock 2.2 represents two years of Tock development since v2.1.1. This release contains almost 3900 commits made across 840 PRs by 90 contributors (of which 48 are new contributors!). It is ...

github.com
1
6
155
The Tock Operating System retweeted
Antmicro
@antmicro
31 Oct 2024
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/su… @talkingtock @AMD @Google @Microsoft @nvidia

Support for VeeR EL2 with User Mode and Physical Memory Protection in Tock embedded OS

antmicro.com
5
8
553
The Tock Operating System retweeted
Antmicro
@antmicro
11 Sep 2024
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/us… @CHIPSAlliance @Google @AMD @Microsoft @nvidia

Extending the VeeR EL2 RISC-V CPU core with User mode for Caliptra 2.0

antmicro.com
6
9
1,190
The Tock Operating System retweeted
Rust Embedded Working Group@rustembedded
22 Aug 2024
📣 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!

1
30
54
13,471
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/tockwor…

TockWorld 7 Recap

On June 26-28 we held the 7th annual Tock gathering in San Diego, CA. This year combined a developer day, conference, and tutorials, expanding the purpose and audience of TockWorld.

tockos.org
1
3
176
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/talking…

Talking Tock 57

With pull request #4075 merged, Tock now supports using standard cargo commands directly when compiling the kernel for any Tock board. For example, you can now build the kernel for the nRF52840dk by...

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

Rust’s Mutex, Atomics and UnsafeCell – Spooky Action at a Distance?

In this post we explore how Rust’s Atomic, Mutex, and UnsafeCell types interact with its type system and concepts of references and aliasing ⊕ mutability. We do so by looking at how the AtomicUsize...

tockos.org
1
113
The Tock Operating System retweeted
The Tock Operating System@talkingtock
21 Jun 2024
@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
1
3
349
Amalia Camelia Simion will talk about "Multiplexing Serial Port Messages" at TockWorld 7 in San Diego. Details here: world.tockos.org/tockworld7/ #tockworld7 #tock #tockos @wyliodrin
116
Irina Nita will talk about "Running Tock OS on WebAssembly" at TockWorld 7 in San Diego. Details here: world.tockos.org/tockworld7/ #tockworld7 #tock #tockos @OxidOSauto
1
109
Lawrence Esswood's TockWorld 7 talk "CHERI for Tock" will describe Google's port of Tock to the CHERI architecture. Details here: world.tockos.org/tockworld7/ #tockworld7 #tock #tockos @Google
1
1
122
Bobby Reynolds will talk about "Porting Tock to x86 for Pluton" at TockWorld 7 in San Diego. Details here: world.tockos.org/tockworld7/ #tockworld7 #tock #tockos @Microsoft
1
1
97
Load more