Oxidize Lightning Talks – Andre Schmitz
summary
Greenil starts as a compiler vendor for the 68000 family with Apple as an early customer and now ships two RTOSes: MicroVelocity for microcontrollers and Integrity for MMU processors. Integrity implements a separation kernel that runs trusted Rust processes isolated from untrusted third‑party code on the same CPU so crashes don’t affect safety‑critical tasks. Tooling includes source‑level debugging over JTAG and trace collection with visualization to reveal timing patterns and pinpoint faults.
AI-written summary · about
related talks
10mSponsored Talk
04mLightning Talk - Embedded Rust
12mLightning Talk: Rust Will Solve All Your Problems, Possibly. Arm’s Journey to Using...
29m"10 Years of Redox OS and Rust"
07mLightning Talk: “How Rust Is Steering Automotive Software Toward Safety”
36mIt's Embedded Rust Time
34mWriting an Embedded Operating System in Rust
41mRust Meets Zephyr: Building Safer Embedded Applications