The Tock Operating System

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

[The Tock Operating System @talkingtock]

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 🤣

https://t.co/6nffaiVJI7

#rust #osdev

[The Tock Operating System @talkingtock]

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

https://t.co/a9Af79Ffvf

[The Tock Operating System @talkingtock]

Tock's GitHub Sponsors profile is live! You can sponsor us to support the Tock Foundation's open source work 💖 https://t.co/dEk95EvFq8

[Princeton Computer Science @PrincetonCS]

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.

https://t.co/t2sO8TdAtC

[The Tock Operating System @talkingtock]

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! https://t.co/M1mqM5DKaW

[The Tock Operating System @talkingtock]

You can now follow Tock on Bluesky (https://t.co/yeFOyu4IQ9) and Mastodon (https://t.co/GCzdCeCFkw)

[The Tock Operating System @talkingtock]

#Microsoft's New and improved Pluton security processor is based on Tock! https://t.co/WjRU8xwZmq

[The Tock Operating System @talkingtock]

"Stable Rust support, storage permissions, and 6lowpan oh my!" Tock release 2.2, possibly the most major minor version release ever. https://t.co/bapFrKS4wH

[Antmicro @antmicro]

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 https://t.co/hqgbEkRLM7 @talkingtock @AMD @Google @Microsoft @nvidia

[Antmicro @antmicro]

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 https://t.co/WuzMN4DXla @CHIPSAlliance @Google @AMD @Microsoft @nvidia

[Rust Embedded Working Group @rustembedded]

📣 Hello all! The 2024 Embedded WG Survey is now live!

https://t.co/JKJ8brn7KJ

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!

[The Tock Operating System @talkingtock]

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

[The Tock Operating System @talkingtock]

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 https://t.co/JJtSmfeXyS

[The Tock Operating System @talkingtock]

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

[The Tock Operating System @talkingtock]

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 https://t.co/0xG44hwaXi

[The Tock Operating System @talkingtock]

Rust's Mutex, Atomics and UnsafeCell – Spooky Action at a Distance? https://t.co/EN3aF9lEGt

[The Tock Operating System @talkingtock]

@argorak' keynote, "tRust", will explore how performance gave way to trust in
software development, and what role #rust plays.

Details here: https://t.co/wt0XUyvDZF

#tockworld7 #tock #tockos
@FerrousSystems

[The Tock Operating System @talkingtock]

@AlexWyliodrin will talk about "Teaching Embedded Systems with Tock" at TockWorld 7 in San Diego.

Details here: https://t.co/wt0XUyvDZF

#tockworld7 #tock #tockos
@upb1818

[The Tock Operating System @talkingtock]

@argorak' keynote, "tRust", will explore how performance gave way to trust in
software development, and what role #rust plays.

Details here: https://t.co/wt0XUyvDZF

#tockworld7 #tock #tockos
@FerrousSystems