vinzenz/redox
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fix a couple of readme typos

Browse source
This commit is contained in:
mus0u 2016-08-28 16:37:40 -05:00 committed by GitHub
parent e24ccd4ead
commit a646ae4d03
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -4,7 +4,7 @@ A collaborative effort to rewrite the kernel with focus on correctness and code
## Why? ## 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? ## 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. 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. If the condition is (or should be) unreachable, but if not upheld, leading to UB, put an assertion in the start of the function.