A safe, multitasking operating system for low-memory microcontrollers with KBs of RAM. Isolated kernel in #rustlang + HW isolated processes with a familiar API.
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
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
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
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
"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
📣 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!
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
@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.
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
@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
@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