diff --git a/CHANGES.md b/CHANGES.md
index 95257b87..3576fa99 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -14,6 +14,16 @@
 
 ### Changes
 
+
+### Upgrade Notes
+---
+
+## 3.13.0 2026-07-22
+
+Using seL4 version 16.0.0
+
+### Changes
+
 * Add support for GCC 14 and python >= 3.10
 * Add support for concurrent unit tests
 * Add support for units in the domain schedule (ticks or microseconds)
diff --git a/VERSION b/VERSION
index ead86aec..64241b54 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-camkes-3.12.0-dev
\ No newline at end of file
+3.13.0-dev
\ No newline at end of file