From 80e2f52a99319b906f6c64eadc537b29345acec2 Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 25 Nov 2025 09:39:24 +1100 Subject: [PATCH 1/2] Release 0.4.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 522952c..acee554 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,6 +14,15 @@ ### Changes + +### Upgrade Notes +--- + +## 0.4.0 2025-11-25 +Using seL4 version 14.0.0 + +### Changes + * Add support for fpu_disabled flag on TCBs for platforms with CONFIG_HAVE_FPU. * Add support for SGISignal capability. SGISignal capabilities in capDL point to an `arm_sgi_signal` object with `(irg: , target: )` properties diff --git a/VERSION b/VERSION index 3163d6f..60a2d3e 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.3-dev \ No newline at end of file +0.4.0 \ No newline at end of file From 79624efab687e0bdbe29ce45847d1d86dd7c73ff Mon Sep 17 00:00:00 2001 From: seL4 CI Date: Tue, 25 Nov 2025 09:39:24 +1100 Subject: [PATCH 2/2] Update VERSION file to 0.4.0-dev Signed-off-by: Gerwin Klein --- VERSION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSION b/VERSION index 60a2d3e..5c73f2a 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.4.0 \ No newline at end of file +0.4.0-dev \ No newline at end of file