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

Merge pull request #1 from mus0u/patch-1

Browse source 
fix a couple of readme typos
This commit is contained in:
Jeremy Soller 2016-08-28 15:49:57 -06:00 committed by GitHub
parent e24ccd4ead a646ae4d03
commit d5e8a5a338
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?
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.