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: <num>, target: <num>)` properties
diff --git a/VERSION b/VERSION
index 3163d6f..5c73f2a 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.3-dev
\ No newline at end of file
+0.4.0-dev
\ No newline at end of file