diff --git a/CHANGES.md b/CHANGES.md
index b343b21..4462b7f 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 5c73f2a..9974c4b 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.4.0-dev
\ No newline at end of file
+0.5.0-dev
\ No newline at end of file