Redox is an open-source operating system written in Rust, featuring a microkernel architecture with...