2014-10-14 15:18:31 +02:00
|
|
|
LICENSE := GPLv2
|
|
|
|
|
VERSION := git
|
|
|
|
|
DOWNLOADS := sel4.git
|
|
|
|
|
|
|
|
|
|
URL(sel4) := https://github.com/seL4/seL4.git
|
2023-04-11 18:42:54 +02:00
|
|
|
# master branch, version 12.1.0
|
|
|
|
|
REV(sel4) := 21c1a2ca7a9786d1297e1ff0a132bc57eeb55530
|
2014-10-14 15:18:31 +02:00
|
|
|
DIR(sel4) := src/kernel/sel4
|
2016-06-17 15:15:48 +02:00
|
|
|
|
2023-04-11 18:42:54 +02:00
|
|
|
$(call check_tool,cmake)
|
|
|
|
|
$(call check_tool,ninja)
|
2017-06-12 12:41:38 +02:00
|
|
|
$(call check_tool,python)
|
2017-08-17 15:05:58 +02:00
|
|
|
$(call check_python_module,future)
|
2023-04-11 18:42:54 +02:00
|
|
|
$(call check_python_module,jinja2)
|
2017-08-17 15:05:58 +02:00
|
|
|
$(call check_python_module,ply)
|
2017-11-08 09:19:08 +01:00
|
|
|
$(call check_python_module,six)
|
2023-04-11 18:42:54 +02:00
|
|
|
# required for ARM
|
|
|
|
|
$(call check_python_module,pyfdt)
|
|
|
|
|
$(call check_python_module,jsonschema)
|
2017-06-12 12:41:38 +02:00
|
|
|
|
2017-08-29 21:56:29 +02:00
|
|
|
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
|
