From 5c60ced3b8bbe75253b11b41fe296a9faee17c4b Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Fri, 30 Oct 2026 10:28:09 +1100 Subject: [PATCH 1/2] Release 0.6.1 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 935270a..4c77a36 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,6 +14,16 @@ ### Changes + +### Upgrade Notes +--- + +## 0.6.1 2026-10-30 + +Using seL4 version 17.0.0 + +### Changes + * Reduced Python dependencies ### Upgrade Notes diff --git a/VERSION b/VERSION index 7defe1e..7ceb040 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.6.0-dev \ No newline at end of file +0.6.1 \ No newline at end of file From adf2ff135894834496bef1ac8b8089cd0ceb1114 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Fri, 30 Oct 2026 10:28:37 +1100 Subject: [PATCH 2/2] Update VERSION file to 0.6.1-dev Back to development version. Signed-off-by: Gerwin Klein --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 7ceb040..c950050 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.6.1 \ No newline at end of file +0.6.1-dev \ No newline at end of file