Release camkes-3.6.0

Update VERSION Update CHANGES
seL4 · Nov 7, 2018 · 599b493 · 599b493
1 parent 1cc1d06
commit 599b493
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -9,6 +9,14 @@ Upcoming release
 
 ## Changes
 
+
+## Upgrade Notes
+---
+camkes-3.6.0 2018-11-07
+Using seL4 version 10.1.0
+
+## Changes
+
 * AARCH64 is now supported.
 * CakeML components are now supported.
 * Added `query` type to Camkes ADL to allow for querying plugins for component configuration values.

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-camkes-3.5.0-dev
+camkes-3.6.0