From f10e3d2023032c4f2b4321721c8560361d9b96e6 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Wed, 22 Jul 2026 13:34:58 +1000 Subject: [PATCH 1/2] Release 0.6.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 134077b..6c30157 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,6 +14,16 @@ ### Changes + +### Upgrade Notes +--- + +## 0.6.0 2026-07-22 + +Using seL4 version 16.0.0 + +### Changes + * Add support in `python-capdl-tool` for mapping caps into an address space at arbitrary addresses, outside of the bounds of the ELF file. * Add experimental support for json output in `capDL-tool` for connecting to diff --git a/VERSION b/VERSION index 9974c4b..09a3acf 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.5.0-dev \ No newline at end of file +0.6.0 \ No newline at end of file From 0936f2ff1d840c5abc6594140e929cb67710436f Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Wed, 22 Jul 2026 13:34:58 +1000 Subject: [PATCH 2/2] Update VERSION file to 0.6.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 09a3acf..7defe1e 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.6.0 \ No newline at end of file +0.6.0-dev \ No newline at end of file