genode/repos/base-sel4/ports/sel4.port
Alexander Boettcher 95329c82e2 sel4: update to 5.2.0
Issue #2451
2017-08-17 11:04:19 +02:00

13 lines
297 B
Plaintext

LICENSE := GPLv2
VERSION := git
DOWNLOADS := sel4.git
URL(sel4) := https://github.com/seL4/seL4.git
# master branch, version 5.2
REV(sel4) := 3695232f9603af60d56f97072082d90f30e98b0e
DIR(sel4) := src/kernel/sel4
$(call check_tool,python)
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)