diff --git a/CHANGES b/CHANGES index 1fe448c3..7104e7f9 100644 --- a/CHANGES +++ b/CHANGES @@ -7,6 +7,14 @@ Upcoming release ## Changes + +## Upgrade Notes +--- +0.1.0 2019-11-19 +Using seL4 version 11.0.0 + +## Changes + * Add GrantReply access right for endpoint capabilities. - This is a new right available on seL4 Endpoint object capabilities. - A capDL spec can now describe an endpoint capability with the 'P' GrantReply access right. diff --git a/VERSION b/VERSION index cb676de1..6c6aa7cb 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.0.0-dev +0.1.0 \ No newline at end of file