22 ms·
You probably already know this, but "a capability-based microkernel written in Rust" describes RedoxOS. http://redox-os.org/ http://redox-os.org/
by vlmutolo 4y ago
You probably already know this, but "a capability-based microkernel written in Rust" describes RedoxOS.
http://redox-os.org/ http://redox-os.org/
- compressedgas 4y agoI can't see how it is 'capability-based'. The system call interface has no capability operations. https://docs.rs/redox_syscall/0.3.4/syscall/call/index.html https://docs.rs/redox_syscall/0.3.4/syscall/call/index.html
- vlmutolo 4y agoI was mostly just parroting Jeremy Soller's response here (he's jackpot51 and the creator of Redox): https://news.ycombinator.com/item?id=31200562 https://news.ycombinator.com/item?id=31200562