ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-02 12:06:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update to seL4 9.0.1

Browse Source
This commit is contained in:
Hinnerk van Bruinehsen 2018-04-18 11:01:22 +02:00 committed by Christian Helmuth
parent 2278104a8d
commit c421f59314
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-sel4/ports/sel4.hash
View File

@ -1 +1 @@
d006609b01c27aa7f016b2eb8740b1afb3587354 c59276cc6e3aa138a1e56af8c8a56ce64cf327b8

4
repos/base-sel4/ports/sel4.port
View File

@ -3,8 +3,8 @@ VERSION := git
DOWNLOADS := sel4.git DOWNLOADS := sel4.git
URL(sel4) := https://github.com/seL4/seL4.git URL(sel4) := https://github.com/seL4/seL4.git
# master branch, version 9.0 # master branch, version 9.0.1
REV(sel4) := f58d22af8b6ce8bfccaa4bac393a31cad670e7c1 REV(sel4) := 0dd40b6c43a290173ea7782b97afbbbddfa23b36
DIR(sel4) := src/kernel/sel4 DIR(sel4) := src/kernel/sel4
$(call check_tool,python) $(call check_tool,python)