Release camkes-3.5.0

Update VERSION Update CHANGES
seL4 · May 28, 2018 · 5cada97 · 5cada97
1 parent 1e58583
commit 5cada97
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git 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
@@ -1 +1 @@
-camkes-3.4.0-dev
+camkes-3.5.0