From c421f59314cf368fea2ac1cdab215f55ff17ce57 Mon Sep 17 00:00:00 2001 From: Hinnerk van Bruinehsen Date: Wed, 18 Apr 2018 11:01:22 +0200 Subject: [PATCH] Update to seL4 9.0.1 --- repos/base-sel4/ports/sel4.hash | 2 +- repos/base-sel4/ports/sel4.port | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/base-sel4/ports/sel4.hash b/repos/base-sel4/ports/sel4.hash index 77cf9ba336..d59b2c3607 100644 --- a/repos/base-sel4/ports/sel4.hash +++ b/repos/base-sel4/ports/sel4.hash @@ -1 +1 @@ -d006609b01c27aa7f016b2eb8740b1afb3587354 +c59276cc6e3aa138a1e56af8c8a56ce64cf327b8 diff --git a/repos/base-sel4/ports/sel4.port b/repos/base-sel4/ports/sel4.port index 6a8005e0c5..7d5e39810a 100644 --- a/repos/base-sel4/ports/sel4.port +++ b/repos/base-sel4/ports/sel4.port @@ -3,8 +3,8 @@ VERSION := git DOWNLOADS := sel4.git URL(sel4) := https://github.com/seL4/seL4.git -# master branch, version 9.0 -REV(sel4) := f58d22af8b6ce8bfccaa4bac393a31cad670e7c1 +# master branch, version 9.0.1 +REV(sel4) := 0dd40b6c43a290173ea7782b97afbbbddfa23b36 DIR(sel4) := src/kernel/sel4 $(call check_tool,python)