News for hackers. Stuff that matters.

A comment on Redox – A Unix-Like Operating System Written in Rust. Parent comment

Re:Redox – A Unix-Like Operating System Written in Rust by abecedarius on Tuesday November 13, 2018 @05:44PM (#18445622)
"A security kernel based on the lambda calculus" http://mumble.net/~jar/pubs/secureos/

http://cap-lore.com/CapTheory/upenn/

[ Parent | on HN ]

There are no comments on this comment yet.