Darpa is interested in funding such an effort, but as far as I know that's the s...

		steveklabnik 84 days ago \| parent \| context \| favorite \| on: Upcoming Rust language features for kernel develop... Darpa is interested in funding such an effort, but as far as I know that's the stage it's at, they haven't released any results.