Misc. fixes

src/development/design/kernel.md

@@ -22,4 +22,4 @@ Support for multiple targets will be done via `Cargo.toml` targets, cross-compil
 
 ## Error Handling
 All errors must be handled gracefully by the `kernel`. If possible, they should simply log an error.
-If not, they can display it to the user, preferrably in a simple format, maybe using something like [const_panic](https://lib.rs/crates/const_panic) or [snafu](https://lib.rs/crates/snafuhttps://lib.rs/crates/snafu).
+If not, they can display it to the user, preferably in a simple format, maybe using something like [const_panic](https://lib.rs/crates/const_panic) or [snafu](https://lib.rs/crates/snafuhttps://lib.rs/crates/snafu).

src/development/design/security.md

@@ -8,4 +8,7 @@
 - [HighwayHash](https://lib.rs/crates/highway) is used for checksums
 - [Argon2id](https://lib.rs/crates/argon2) is used for key-derivation
 
+## Isolation
+*To-Do*
+
 [^hmac]: https://cryptobook.nakov.com/mac-and-key-derivation