feat: add useful links to README.md

DLR-FT · Apr 18, 2024 · e9b6e8d · e9b6e8d
1 parent 91d234d
commit e9b6e8d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -16,3 +16,9 @@ The code especially in the `flake.nix` is very repetetive.
 This is fully intentional, we want the code to be easily copy-pasteable.
 Nix' expressive syntax would allow for the various things to be condensed into a much shorter generator expression, however, that is detrimental to the goal of this repo:
 providing accessible information on how to compile seL4 related projects in Nix.
+
+# Useful Links
+
+- [seL4 Reference Manual](https://sel4.systems/Info/Docs/seL4-manual-latest.pdf)
+- [seL4 Hardware Support](https://docs.sel4.systems/Hardware/)
+- [nixpkgs Manual](https://nixos.org/manual/nixpkgs/stable/)