From 0ad20c506f4ce4a90e9ba5f72cfadbfafc3e95f5 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 30 Oct 2026 19:49:21 +1100 Subject: [PATCH] releases: fix missing link to seL4 capDL and CAmkES expect a seL4 version in the front matter Signed-off-by: Gerwin Klein --- content_collections/_releases/camkes/camkes-3.13.1.md | 1 + content_collections/_releases/capdl/0.6.1.md | 1 + 2 files changed, 2 insertions(+) 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 ---