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. tockos.org @[email protected] Joined August 2016-
Tweets223
-
Followers927
-
Following91
-
Likes70
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 (fosstodon.org/@tock)
#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...
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.
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
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
third-party evaluatio... @mycoliza
23K Followers 1K Following despite it all, i still love these silly computing machines. making a better computer at @oxidecomputer. a girl, in case you couldn't tell.
Memfault @Memfault
2K Followers 938 Following Helping embedded development teams find faults and ship fixes, fast.
Nordic Semiconductor @NordicTweets
21K Followers 782 Following Low power wireless specialist. Share your use of #nordicsemi tech with us!
Daniel Hayes @dkhayes117
189 Followers 120 Following Your friendly, neighborhood engineer. Rust Embedded WG: RISC-V team. Former UNC-Charlotte Grad Student.
Alex::new() @alexwala67
11 Followers 21 Following GPU Performance @NVIDIA Systems programming & more Opinions are my own!!!
Mohammad Nasrollahi '... @itsaraad
73 Followers 478 Following Computer Engineer | Interested in AI, mathematics, algorithms and the beauty behind technology | lost between code, mathematics and curiosity. 💻
dejvu l @DejvuL
2 Followers 14 Following
Portabase @portabase_io
26 Followers 126 Following Open Source database backup & restore tool for PostgreSQL, MySQL, MsSQL, MariaDB, Firebird SQL, SQLite, MongoDB, Redis, Valkey, and Docker Volume
Pavel M @PavelM99102890
2 Followers 2K Following
刘硕 @lishu38033447
2 Followers 21 Following
Vinmu @Vinmu2
32 Followers 153 Following
Alkaeebup @Alkaeebup60080
160 Followers 7K Following Be the kind of woman that makes other women want to up their game.
शाश्वोत... @ShaswotNepal
16 Followers 264 Following Suffering from a lot of skill issues : ██░░░░░░░░░░░░░░░░░░░ (Progress／MAX) 🛠️ Maintainer@ForTheCommunity 🦀
Kishore @prakis
223 Followers 609 Following Architect https://t.co/CPlxlzfhNh https://t.co/jFt6meFWPi https://t.co/C7uodxVWKJ https://t.co/lTwUy4S0K6
Dhruv @DhruvKakadiya
16 Followers 2K Following
DigiCubeTechInc. LLC @DigiCubeTechInc
161 Followers 6K Following Magicians of creative endeavors in tech... more to come soon!
Slierdeq @Slierdeq006640
30 Followers 937 Following
AprilNEA @AprilNEA
3K Followers 515 Following Founder of @ArcBoxLabs - Build better infrastructure FullStack Engineer / OpenSource / Serial Entrepreneur Building OpenLogi, @LinkCodeAI and more
Yin Jifeng @__jifeng
9 Followers 355 Following
xx d @xxd1496223
153 Followers 1K Following Being lenient to your enemies is being cruel to yourself.
Em @ezeukoarinze
76 Followers 218 Following
Karel Szurman @karelszurman
30 Followers 479 Following Consultant in Aerospace Systems and Software Development @LICRITAero Helping to build better and safer critical software. Diary on my way.
Samir Rashid @Rash_Samir
21 Followers 186 Following Passionate hacker. Optimistic about the future of technology. Views/opinions my own.
Embatch @EmmeBatch
2 Followers 62 Following
Filip Laurentiu @filiplaurentiu
365 Followers 2K Following Cybersecurity #CISSP & #CC | Applied Cryptography | Blockchain Developer
배석헌 @ibethink
6 Followers 124 Following
dael01 @ufnog038
9 Followers 5K Following
Nick LeRoy @ground_plane
35 Followers 211 Following
James Morris 👾 @xjamesmorris
1K Followers 2K Following Linux Security @ Microsoft 🐧 Also W7TXT 📡 Supporter of LGBT+ Also: - https://t.co/qC2IlOsvnX - https://t.co/ag0ekLoFOH - https://t.co/f919OsoYZv
Lukas @LukasWuPoland
98 Followers 320 Following Programmer, electronical engineer, traveller, ceo. Conservative free marketer, Austriac Economic School. Korwin-Mikke, Karol Nawrocki and Elon Musk supporter.
guangzhou xiaomi @gzscoo
1 Followers 15 Following
Jiuney Pachevitch @J0t41980
1 Followers 184 Following
Obinna Edmund @obinna_edmund
114 Followers 588 Following Software Dev || Backend Dev || JavaScript || Typescript 🧑💻 function bestClub(bestClub: string): boolean { return bestClub === Chelsea } bestClub(Chelsea)
Azimuth ug @Icemanvaleria
12 Followers 324 Following
曾飞 @wh130uYvf04722
0 Followers 10 Following
Lyunet @tz_bj
488 Followers 438 Following LyuNet | Distributed Mesh Network, Co-build & Share Connecting scattered resources with scattered demands | https://t.co/A1amKrpd38
mjkalasky2 @mjkalasky2
456 Followers 7K Following My other youtube channel: Matthew Kalasky2: https://t.co/TZq0D9DRTg
Amos ♱ @Tr8z3R
205 Followers 7K Following 🕊️✠ Ave Iesus Christus Nazarenus Rex ✠🕊️ Superare Mundum ♱🏹🎸❤️🔥🙏🗡️🛡️🪔✠Ephesians 6:12-18✠
Patrick Walton @pcwalton
18K Followers 515 Following Programming languages and graphics person. @pcwalton.bsky.social
Dave Jones @eevblog
100K Followers 571 Following EEVblog® OG Engineering Youtuber, inventor of that career path Debunker of BS Electronics + random Big on Freedoms Certified Human Aussie https://t.co/zkA3b1g8vp
hackaday @hackaday
273K Followers 2K Following 🔥 Read: https://t.co/KG4TpCzO7H ☠️ Contribute: tips at hackaday dot com 👉 Projects: @hackadayio #Fediverse: @[email protected] 📒 Learn: https://t.co/p1jaCktSDt
Nordic Semiconductor @NordicTweets
21K Followers 782 Following Low power wireless specialist. Share your use of #nordicsemi tech with us!
FerrousSystems @FerrousSystems
7K Followers 21 Following Ferrous Systems builds stable software in and around @rustlang. Account archived. @ferroussystems.bsky.social https://t.co/H2GOtTMKnA
Rust Language @rustlang
152K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
adafruit industries @adafruit
243K Followers 2 Following Brooklyn, NY USA - Manufacturer, open-source hardware, certified Minority and Woman-owned Business Enterprise (M/WBE) X account managed by @ladyada & @ptorrone
Brendan Dolan-Gavitt @moyix
34K Followers 7K Following Building offsec agents: https://t.co/G9EtnC3eaB PGP https://t.co/3WXr0Rgpa3
Samir Rashid @Rash_Samir
21 Followers 186 Following Passionate hacker. Optimistic about the future of technology. Views/opinions my own.
wolfSSL Embedded SSL/... @wolfSSL
11K Followers 7K Following The most popular open source, embedded TLS. Active in #IoTSecurity, #Avionics, #Automotive & more. Over 5B connections secured! #TLS13 #SecureYourConnectivity
Antmicro @antmicro
6K Followers 101 Following Antmicro is a software-driven tech company developing open and modern industrial edge and cloud AI systems.
James Munns @bitshiftmask
4K Followers 843 Following Kein Ort für Nazis. No longer active on twitter. See https://t.co/goPD1T49Lp for links to other ways to contact me.
ZeroRISC @ZeroRISC_
53 Followers 81 Following End-to-end open silicon security, from design through manufacturing to every field update. 🪸
Alexandru RADOVICI @AlexWyliodrin
12 Followers 26 Following
Wyliodrin @wyliodrin
241 Followers 133 Following Supporting the creation of secure IoT ecosystem by using Rust, Tock and providing the Wyliodrin STUDIO prototyping IDE.
OxidOS Automotive @OxidOSauto
72 Followers 28 Following Secure Operating System and Development Tools for the automotive software OEMs and developers.
Let's Encrypt @letsencrypt
84K Followers 5 Following A nonprofit Certificate Authority providing TLS certs to 350M websites. 100% of our funding comes from donations. https://t.co/Qzy8VWWXks
Internet Security Res... @I_S_R_G
2K Followers 2 Following Reducing financial, technological, and educational barriers to secure communication over the Internet. Follow our projects: @letsencrypt and @ProssimoISRG
Tweede golf @tweedegolfbv
561 Followers 234 Following Follow us on Mastodon, Bluesky or LinkedIn! No longer active on X. Software agency in NL. Rust & Rust embedded specialists. https://t.co/dGVJZtfOt7
Prossimo @ProssimoISRG
1K Followers 6 Following Moving the Internet's security-sensitive software infrastructure to memory safe code, a project from ISRG.
RustNL @Rust_NL
1K Followers 91 Following We are no longer active on this website. Find us on Mastodon, LinkedIn or Bluesky. RustNL is an non-profit that promotes the Rust programming language.
Josh Triplett @josh@j... @josh_triplett
4K Followers 207 Following Free and Open Source Software developer. #rustlang developer, working on the language, library, and Cargo. he/him Fediverse: @[email protected]
Laura Abbott @openlabbott
2K Followers 341 Following confused kernel developer. I like things. My MBTI is ACPI. Opinions my own. she/her
IEEE Internet of Thin... @IEEEIoT
28K Followers 4K Following The IEEE Internet of Things Initiative is the premier technical association in the communications industry. #ieeeorg #ieeeiot #IoT #IIoT #digitaltransformation
IoT Guide @iotguide
39K Followers 11K Following Follow us to stay on top of #InternetOfThings news, products and events.
Stacey Higginbotham @gigastacey
42K Followers 2K Following I care about cybersecurity and IoT. Former journo, now at Consumer Reports. Also at @gigastacey.bsky.social Sign up for my newsletter at https://t.co/MB3mVD0u4o
Tom Rikert @tomrikert
2K Followers 796 Following Co-Founder/CEO @Masterful_AI. Formerly @a16z @Google @Autodesk @MIT
Dean Anthony Gratton @grattonboy
145K Followers 24K Following #PlayingGod with #ArtificialIntelligence: Could Our Greatest Creation Lead to Our Final Downfall? #AI #IoT #IIoT #DigitalTransformation
Embedded-IoT @Embedded_IoT_
434 Followers 799 Following Stephen Borsay: Device to cloud integration. Training and consulting for engineers. AWS IoT Hero. MCU’s, FPGA’s, but mostly IoT. Check out my courses on Udemy.
Contiki-NG @contiki_ng
546 Followers 2 Following
David Williams-King @deepelfery
218 Followers 271 Following AI safety researcher. ERA Senior Research Manager @ERA_Cambridge. YouTuber. Ex-CTO. Columbia University PhD in security. 🇨🇦
William Wong @AltEmbedded
3K Followers 685 Following Technology Editor for Electronic Design covering digital, embedded, systems and software. Interests include robotics, programming and gaming.
Codethink @codethink
3K Followers 3K Following Systems Software Engineering Experts. #opensource. Independent, Ethical, Effective. Leading globally in #Enterprise, #Devices and #Automotive.
Fabio Utzig @fabioutzig
295 Followers 892 Following
Benjamin Fry @benj_fry
1K Followers 1K Following 🦀 rust/c/java hacker; pie maker; bread baker; dad; 🚲 ; Vassar 🎩 CS grad; I ❤️ Rust, https://t.co/OwGUF442KT ; he/him; @[email protected]
RedBear @RedBear
393 Followers 114 Following
MicrochipTechnologyIn... @MicrochipTech
63K Followers 424 Following 8-/16-/32-bit MCUs, analog and Flash-IP solutions. The content in our X feed may include AI-generated imagery, performers and/or audio.
Arm @Arm
101K Followers 2K Following Arm’s foundational technology is defining the future of computing. A future built by the greatest technology ecosystem in the world. A future built on Arm.
Embedded Computing De... @embedded_comp
30K Followers 25K Following The leading source of articles, videos, blogs, podcasts and events for embedded developers #iot #ai #embeddedworld #ew26 @embedded_world @electronicaFair
Atollic @Atollic
470 Followers 235 Following Atollic provides commercial-grade Eclipse and GNU based C/C++ IDE's for ARM Cortex devices. Our products have a strong differentiation in improving S/W quality.
Percepio® @percepio
1K Followers 923 Following We accelerate embedded software development through leading visual trace diagnostics tools for RTOS and Linux. #Tracealyzer #DevAlert
Cisco Industrial IoT @CiscoIIoT
128K Followers 844 Following Digitizing industries and improving lives by bringing IT to the physical world.
Mozilla Research @MozResearch
1K Followers 20 Following We're a community of researchers and engineers busily expanding the foundations of the Open Web.
Redox OS @redox_os
7K Followers 0 Following Redox OS is a microkernel-based general-purpose operating system written in Rust created in 2015, focused on stability, security, correctness and pragmatism
Apache Mynewt @apache_mynewt
410 Followers 104 Following Apache Mynewt, an embedded operating system for Bluetooth and Wi-Fi devices.
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
David Adrian @dadrian
3K Followers 476 Following former @googlechrome security. host @scwpod. cofounded @censysio. cryptography, startups. “ruthlessly practical". DJB says I’m an NSA plant. Go blue!
vincent zimmer @vincentzimmer
3K Followers 1K Following Engineer working on UEFI, BIOS, firmware, coreboot, slimbootloader, embedded systems, security, networking...These are my opinions, not those of my employerYou might like
