README: fix typo

Signed-off-by: Ivan Velickovic <[email protected]>
au-ts · Aug 6, 2024 · 2ddcef8 · 2ddcef8
1 parent 7751dc5
commit 2ddcef8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -63,7 +63,7 @@ nix-shell --pure
 Finally, you will need version 1.4.0 of the Microkit SDK.
 
 You can download a prebuilt SDK from [here](https://github.com/seL4/microkit/releases/tag/1.4.0)
-or [build from source](https://github.com/seL4/microkit)
+or [build from source](https://github.com/seL4/microkit).
 
 ### Building and running