genode/repos/base-sel4/ports/sel4.port

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

URL(sel4) := https://github.com/seL4/seL4.git
# experimental branch
REV(sel4) := b6fbb78cb1233aa8549ea3acb90524306f49a8d2
DIR(sel4) := src/kernel/sel4

PATCHES   := src/kernel/macros.patch
PATCH_OPT := -p1 -d src/kernel/sel4
New base-sel4 repository 2014-10-14 15:18:31 +02:00			`LICENSE := GPLv2`
			`VERSION := git`
			`DOWNLOADS := sel4.git`

			`URL(sel4) := https://github.com/seL4/seL4.git`
			`# experimental branch`
			`REV(sel4) := b6fbb78cb1233aa8549ea3acb90524306f49a8d2`
			`DIR(sel4) := src/kernel/sel4`
sel4: add patch for sel4/syscalls.h 2014-10-15 18:26:10 +02:00
sel4: replace syscalls.patch by macros.patch 2014-10-29 14:42:23 +01:00			`PATCHES := src/kernel/macros.patch`
sel4: add patch for sel4/syscalls.h 2014-10-15 18:26:10 +02:00			`PATCH_OPT := -p1 -d src/kernel/sel4`