Release camkes-3.3.0

Update VERSION Update CHANGES
seL4 · Apr 11, 2018 · 1eda754 · 1eda754
1 parent 8e339f9
commit 1eda754
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
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.3.0 2018-04-11
+Using seL4 version 9.0.0
+
 ## Changes
 * Hardware dataport with large frame sizes issue has been fixed
 * Bug fix: Enumerating connections for hierarchical components with custom connection types is now done correctly
@@ -60,4 +68,4 @@ issue is fixed.
 which is the same as the old behaviour.
 
 ---
-For previous releases see https://wiki.sel4.systems/CAmkESReleaseNotes
+For previous releases see https://wiki.sel4.systems/CAmkESReleaseNotes
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-camkes-3.2.0-dev
+camkes-3.3.0