diff --git a/content_collections/_releases/camkes/camkes-3.13.1.md b/content_collections/_releases/camkes/camkes-3.13.1.md
index 1273622734..4e008a5919 100644
--- a/content_collections/_releases/camkes/camkes-3.13.1.md
+++ b/content_collections/_releases/camkes/camkes-3.13.1.md
@@ -2,6 +2,7 @@
 version: camkes-3.13.1
 version_digits: 2
 project: camkes
+seL4: 17.0.0
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2026 seL4 International
 ---
diff --git a/content_collections/_releases/capdl/0.6.1.md b/content_collections/_releases/capdl/0.6.1.md
index e2fbb32cab..f653af1267 100644
--- a/content_collections/_releases/capdl/0.6.1.md
+++ b/content_collections/_releases/capdl/0.6.1.md
@@ -1,6 +1,7 @@
 ---
 version: 0.6.1
 project: capdl
+seL4: 17.0.0
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2026 seL4 International
 ---