Release camkes-3.4.0

Update VERSION Update CHANGES
seL4 · Apr 17, 2018 · a7d272c · a7d272c
1 parent aab7fb4
commit a7d272c
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -10,6 +10,14 @@ Upcoming release
 ## Changes
 
 
+## Upgrade Notes
+---
+camkes-3.4.0 2018-04-18
+Using seL4 version 9.0.1
+
+## Changes
+
+
 ## Upgrade Notes
 ---
 camkes-3.3.0 2018-04-11

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-camkes-3.3.0-dev
+camkes-3.4.0