Release 10.0.0

Update VERSION Update CHANGES
seL4 · May 28, 2018 · 5c7f784 · 5c7f784
1 parent 6eb7e2f
commit 5c7f784
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/CHANGES b/CHANGES
@@ -8,7 +8,14 @@ The upcoming release notes should indicate whether it is a SOURCE COMPATIBLE, BI
 changes are added the compatibility information should be updated.
 
 ---
-Upcoming release: BREAKING
+Upcoming release: BINARY COMPATIBLE
+
+## Changes
+
+
+## Upgrade Notes
+---
+10.0.0 2018-05-28: BREAKING
 
 - Final version of the kernel  which supports integration with Kbuild based projects
 - Future versions, including this one, provide a CMake based build system

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-9.0.1-dev
+10.0.0