Release 0.1.0

Update VERSION Update CHANGES
seL4 · Nov 20, 2019 · 332644f · 332644f
1 parent e8e10c9
commit 332644f
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git 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
@@ -1 +1 @@
-0.0.0-dev
+0.1.0