"10 Years of Redox OS and Rust"
summary
Redox claims a microkernel OS written largely in Rust with kernel <30,000 LOC (≈10k core) and ~100,000 lines including dependencies, running on x86-32/64, ARM64 and RISC‑V with a working USB3 host controller and ACPI. A C compatibility layer called Relivy provides POSIX-like APIs and dynamic linking so Linux ports compile and run; ring-buffer shared‑memory IPC is underway to cut context switches and improve performance. The demo shows GUI apps and Doom running natively.
AI-written summary · about
chapters (18)
- 0:00Introduction to Redox OS
- 1:04Origins and development
- 6:09Microkernel architecture
- 8:16Security and hardware
- 10:36The COSMIC desktop
- 11:56System design and schemes
- 14:15ABI and stability
- 15:28Relibc implementation
- 16:56Declarative OS management
- 17:40Container host use case
- 18:40Cloud applications
- 19:19Desktop environment usage
- 20:19Performance challenges
- 22:12Hardware compatibility
- 23:48Completeness and testing
- 24:59Community and funding
- 26:05Future plans
- 27:49Live demo and conclusion
related talks
06mRedox OS Update
01h 01mNeotron - why write a brand new ‘DOS’ for Arm in Rust?
50mHow Rust makes Oxide possible
34mWriting an Embedded Operating System in Rust
01h 34mNeotron - Writing a Single-Tasking ‘DOS’ for Arm Microcontrollers, in Rust
24mRust for Linux: Status Update
04mUsing the Rust Standard Library on High-End MCUs
10mSponsored Talk