mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
13 lines
350 B
Plaintext
13 lines
350 B
Plaintext
LICENSE := GPLv2
|
|
VERSION := git
|
|
DOWNLOADS := sel4_elfloader.git
|
|
|
|
URL(sel4_elfloader) := https://github.com/alex-ab/elfloader-tool.git
|
|
# genode branch
|
|
REV(sel4_elfloader) := 5a12b40ef6be2e71a005e822d17a0b3af8c309bd
|
|
DIR(sel4_elfloader) := src/tool/elfloader
|
|
|
|
$(call check_tool,python)
|
|
|
|
PATCHES := $(wildcard $(REP_DIR)/patches/elfloader/*.patch)
|