Mention SDK download in Microkit release

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jul 2, 2024 · 211aac9 · 211aac9
1 parent 16ce953
commit 211aac9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/content_collections/_releases/microkit/1.3.0.md b/content_collections/_releases/microkit/1.3.0.md
@@ -17,6 +17,8 @@ seL4 Foundation.
 
 This release has no breaking changes.
 
+You can find the pre-built SDK [here](https://github.com/seL4/microkit/releases/tag/1.3.0).
+
 ### Features added
 
 * Added support for 'passive' protection domains.