diff --git a/CHANGES b/CHANGES
index d074a000..df45907e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -7,6 +7,14 @@ This file should be word wrapped to 120 characters
 ---
 Upcoming release
 
+## Changes
+
+
+## Upgrade Notes
+---
+camkes-3.5.0 2018-05-28
+Using seL4 version 10.0.0
+  
 This release is the last release with official support for Kbuild based projects.
 This release and future releases use CMake as the build system for building applications.
 
diff --git a/VERSION b/VERSION
index 45a9fe2b..ee2cd927 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-camkes-3.4.0-dev
\ No newline at end of file
+camkes-3.5.0
\ No newline at end of file