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 9.0.1

Browse Source 
Update VERSION
Update CHANGES
This commit is contained in:
Bamboo
2018-04-18 10:53:53 +10:00
parent d3feb06cdd
commit 0dd40b6c43
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
CHANGES
View File

@@ -10,6 +10,13 @@ changes are added the compatibility information should be updated.
---
Upcoming release: BINARY COMPATIBLE
## Changes
## Upgrade Notes
---
9.0.1 2018-04-18: BINARY COMPATIBLE
## Changes
* On 64-bit architectures, the `label` field of `seL4_MessageInfo` is now 52 bits wide. User-level programs
which use any of the following functions may break, if the program relies on these functions to mask the

2
VERSION
View File

@@ -1 +1 @@
9.0.0-dev
9.0.1