Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Release 10.0.0

Browse Source 
Update VERSION
Update CHANGES
This commit is contained in:
Bamboo
2018-05-28 13:18:37 +10:00
committed by Kent McLeod
parent 6eb7e2f974
commit 5c7f7844a6
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
CHANGES
View File

@@ -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

2
VERSION
View File

@@ -1 +1 @@
9.0.1-dev
10.0.0