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

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

URL(sel4_tools) := https://github.com/skalk/seL4_tools.git
# Rev 9.0.x genode branch
REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7
DIR(sel4_tools) := src/tool/sel4_tools

$(call check_tool,python)
sel4: update tools to currently used version 9.0.x Until now, Genode referenced a fork of the outdated elfloader-tool to enable bootstrapping of sel4 on ARM platforms. Because the elfloader is inherently dependent on the used platforms newer ARM versions supported by the kernel could not be loaded by the outdated elfloader. This commit uses a fresh fork of the nowadays used sel4_tools repository. Ref #3251 2019-01-21 13:55:15 +01:00			`LICENSE := GPLv2`
			`VERSION := git`
			`DOWNLOADS := sel4_tools.git`

			`URL(sel4_tools) := https://github.com/skalk/seL4_tools.git`
			`# Rev 9.0.x genode branch`
sel4: change ELF loader link address on imx7d Fix #3311 2019-04-29 11:37:25 +02:00			`REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7`
sel4: update tools to currently used version 9.0.x Until now, Genode referenced a fork of the outdated elfloader-tool to enable bootstrapping of sel4 on ARM platforms. Because the elfloader is inherently dependent on the used platforms newer ARM versions supported by the kernel could not be loaded by the outdated elfloader. This commit uses a fresh fork of the nowadays used sel4_tools repository. Ref #3251 2019-01-21 13:55:15 +01:00			`DIR(sel4_tools) := src/tool/sel4_tools`

			`$(call check_tool,python)`