Skip to content
Snippets Groups Projects
Unverified Commit 99c49609 authored by Ian Douglas Scott's avatar Ian Douglas Scott
Browse files

Add link to Rust book to unsafe section

parent 99b61af8
No related branches found
No related tags found
1 merge request!51Several small improvements
...@@ -8,3 +8,5 @@ In that light, a kernel cannot be 100% safe, however the unsafe parts have to be ...@@ -8,3 +8,5 @@ In that light, a kernel cannot be 100% safe, however the unsafe parts have to be
A quick grep gives us some stats: The kernel has 16.52% unsafe code, a 50% improvement in the last three weeks. User space has roughly ~0.2%. A quick grep gives us some stats: The kernel has 16.52% unsafe code, a 50% improvement in the last three weeks. User space has roughly ~0.2%.
This contrasts with kernels written in C, which cannot make guarantees about safety without costly formal analysis. This contrasts with kernels written in C, which cannot make guarantees about safety without costly formal analysis.
You can find out more about how `unsafe` works in the [relevant section of the Rust book](https://doc.rust-lang.org/book/unsafe.html).
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment