LICENSE   := GPLv2
VERSION   := git
DOWNLOADS := sel4.git

URL(sel4) := https://github.com/seL4/seL4.git
# master branch, version 2.1
REV(sel4) := 0115ad1d0d7a871d637f8ceb79e37b46f9981249
DIR(sel4) := src/kernel/sel4