From 971295396a8549c4f78276ea7f61396f170694ef Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 31 Mar 2026 11:11:39 +1100 Subject: [PATCH 1/2] Release 0.5.0 Update VERSION Update CHANGES.md Signed-off-by: Gerwin Klein --- CHANGES.md | 9 +++++++++ VERSION | 2 +- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index b343b212..4462b7f9 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,6 +14,15 @@ ### Changes + +### Upgrade Notes +--- + +## 0.5.0 2026-03-31 +Using seL4 version 15.0.0 + +### Changes + * Add support for domain schedules in `capDL-tool`, `capdl-loader-app`, and `python-capdl-tool`. Domain schedules can optionally be provided in a separate section of capDL specifications. By default, the provided schedule will be diff --git a/VERSION b/VERSION index 5c73f2ac..79a2734b 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.4.0-dev \ No newline at end of file +0.5.0 \ No newline at end of file From 9fa488542825b364893a30799d2b86b06191eee5 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 31 Mar 2026 11:11:39 +1100 Subject: [PATCH 2/2] Update VERSION file to 0.5.0-dev Signed-off-by: Gerwin Klein --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 79a2734b..9974c4be 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.5.0 \ No newline at end of file +0.5.0-dev \ No newline at end of file