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