#tockos — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tockos, aggregated by home.social.
-
It's official! #TockWorld8 will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!
-
It's official! #TockWorld8 will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!
-
#Microsoft gibt mehr Details zu seinem #Pluton #Prozessor bekannt.
#TockOS #Rust #TPM #SoC
https://techcommunity.microsoft.com/blog/windows-itpro-blog/understanding-the-microsoft-pluton-security-processor/4370413 -
#Microsoft gibt mehr Details zu seinem #Pluton #Prozessor bekannt.
#TockOS #Rust #TPM #SoC
https://techcommunity.microsoft.com/blog/windows-itpro-blog/understanding-the-microsoft-pluton-security-processor/4370413 -
"An integer overflow caused $370M to vaporize in 40 seconds."
When a rocket exploded in flight because of two simultaneous integer overflow in independently written systems.
Luckily the industry has learned from this, right? Not really, with some Boeing planes having to be rebooted every 51 days to prevent catastrophically wrong information being shown to pilots.
This is Samir's talk on Tock OS, or how to secure firmware at compile time.
-
"An integer overflow caused $370M to vaporize in 40 seconds."
When a rocket exploded in flight because of two simultaneous integer overflow in independently written systems.
Luckily the industry has learned from this, right? Not really, with some Boeing planes having to be rebooted every 51 days to prevent catastrophically wrong information being shown to pilots.
This is Samir's talk on Tock OS, or how to secure firmware at compile time.
-
Oh, there are now #FIDO security keys based on #Google's #OpenSK firmware for #Titan based on #TockOS (both in #Rust), available for purchase:
https://shop.ftsafe.us/products/opensk-v2Do note that these do *not* feature a secure element and are not resistant to more advanced physical attacks or side channels, although still probably an upgrade to disk storage as long as you keep the key safe:
https://feitiantech.github.io/OpenSK_USB/caution/Nevertheless, an interesting toy!
-
#BarePcbBikeComputer:
https://chaos.social/@dwagenk/108601749647378499
https://chaos.social/@dwagenk/108404302205021636
Verify the hardware is OK and work on board support for #jazda and #tockos #tock -
#Jazda is making #upstreaming progress. It's now a supported board in #TockOS ! Very bare bones, but I'm working on adding drivers.
