Redox OS: a Rust-Based Open-Source Alternative to Linux and BSD