genode/repos/ports-foc/ports/l4linux.port

16 lines
500 B
Plaintext
Raw Normal View History

LICENSE := GPLv2
VERSION := git
DOWNLOADS := l4linux.git
URL(l4linux) := https://github.com/skalk/l4linux.git
REV(l4linux) := 25aa4a5f25c920e18aa18899e45c71974058d813
DIR(l4linux) := src/l4linux
PATCHES := patches/parent_cap_ld_script.patch
PATCH_OPT := -p0 -d src/l4linux
sym_link := src/l4linux/arch/l4/drivers
default: $(sym_link)
# make sure to have downloaded the files before symlinking into it
$(sym_link) : $(DOWNLOADS)
$(VERBOSE)ln -sfT $(REP_DIR)/src/drivers $@