4 ms·Rust-Written Redox OS Booting the 128-Thread AMD Ryzen Threadripper 3990X5 points by figomore 6y ago