From c7e778145cd8cc9aade7254593c1535a0928d050 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Mon, 1 Jul 2024 17:32:46 +1000
Subject: [PATCH] Release camkes-3.11.0

Update VERSION
Update CHANGES.md

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 CHANGES.md | 9 +++++++++
 VERSION    | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 1c881e42..0067ac98 100644
--- 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
index fd2b2a32..9df879a0 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-camkes-3.10.0-dev
+camkes-3.11.0
\ No newline at end of file