diff --git a/README.md b/README.md index a48ee82..fa50fe0 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ A collaborative effort to rewrite the kernel with focus on correctness and code ## Why? -The kernel code was getting increasingly messy to the point were only the original writer would be able to find and fix bugs. Fortunately, the kernel of Redox is relatively small and such a project is estimated to take only a few months. +The kernel code was getting increasingly messy to the point where only the original writer would be able to find and fix bugs. Fortunately, the kernel of Redox is relatively small and such a project is estimated to take only a few months. ## What? @@ -38,7 +38,7 @@ Abusing debug assertions is a wonderful way to catch bugs, and it is very much e Rust provides a lot of type-system features which can be used to create wonderful safe abstractions, and you should use them whenever you get the chance. -Unsafety should be avoided, and if it is triggered only under some addition **insert an assertion**. Despite this being a kernel, we prefer kernel panics over security vulnarbilities. +Unsafety should be avoided, and if it is triggered only under some addition **insert an assertion**. Despite this being a kernel, we prefer kernel panics over security vulnerabilities. If the condition is (or should be) unreachable, but if not upheld, leading to UB, put an assertion in the start of the function. diff --git a/rust b/rust index b72fa8c..a23064a 160000 --- a/rust +++ b/rust @@ -1 +1 @@ -Subproject commit b72fa8ca95c02e4b44b216a425fd563ad2ef58bb +Subproject commit a23064af5ec7f52b287e2c60823fed92a4763502