From 599b493e4d263f412e2121896320245ccb9799f9 Mon Sep 17 00:00:00 2001
From: Bamboo <bamboo@bitbucket.ts.data61.csiro.au>
Date: Wed, 7 Nov 2018 18:18:44 +1100
Subject: [PATCH] Release camkes-3.6.0

Update VERSION
Update CHANGES
---
 CHANGES | 8 ++++++++
 VERSION | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 2d25e0aa..b4f7be24 100644
--- 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
index 846d0f1d..5aa4498b 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-camkes-3.5.0-dev
\ No newline at end of file
+camkes-3.6.0
\ No newline at end of file