Release camkes-3.11.0

Update VERSION Update CHANGES.md Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 1, 2024 · c7e7781 · c7e7781
1 parent c77562e
commit c7e7781
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -8,6 +8,15 @@
 
 ### Changes
 
+
+### Upgrade Notes
+---
+
+## camkes-3.11.0 2024-07-01
+Using seL4 version 13.0.0
+
+### Changes
+
 #### Added/Removed
 
 * Added support for SMC capabilities

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-camkes-3.10.0-dev
+camkes-3.11.0