From 634f4a45a3d7401385814943f433723c3305c8f9 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Wed, 22 Jul 2026 13:42:53 +1000 Subject: [PATCH 1/2] Release 3.13.0 Update VERSION Update CHANGES.md Signed-off-by: Gerwin Klein --- CHANGES.md | 10 ++++++++++ VERSION | 2 +- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 95257b87..3576fa99 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,6 +14,16 @@ ### Changes + +### Upgrade Notes +--- + +## 3.13.0 2026-07-22 + +Using seL4 version 16.0.0 + +### Changes + * Add support for GCC 14 and python >= 3.10 * Add support for concurrent unit tests * Add support for units in the domain schedule (ticks or microseconds) diff --git a/VERSION b/VERSION index ead86aec..77fdc6bb 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -camkes-3.12.0-dev \ No newline at end of file +3.13.0 \ No newline at end of file From 234e937aa70913574a106ff7b5e9bbf9cea672ed Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Wed, 22 Jul 2026 13:42:53 +1000 Subject: [PATCH 2/2] Update VERSION file to 3.13.0-dev Back to development mode. Signed-off-by: Gerwin Klein --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 77fdc6bb..64241b54 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.13.0 \ No newline at end of file +3.13.0-dev \ No newline at end of file