It's official! #TockWorld8 will be hosted at @microsoft.com in Redmond, WA, just a stone's throw from @RustConf.com on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!

world.tockos.org/tockworld8/r...

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

www.usenix.org/publications...