genode/repos/base-hw/ports/muen.port

LICENSE   := GPLv3
VERSION   := git
DOWNLOADS := muen.git

URL(muen) := https://git.codelabs.ch/git/muen.git
REV(muen) := 8592db3f6682387d4384120a0b13c347a84587e5
DIR(muen) := src/kernel/muen

$(call check_tool,git)
$(call check_tool,iasl)
$(call check_tool,tidy)
$(call check_tool,xsltproc)
hw: Add port for Muen Separation Kernel For additional information about the Muen SK refer to the project page at [1]. [1] - http://muen.codelabs.ch/ 2015-08-23 22:01:55 +02:00			`LICENSE := GPLv3`
			`VERSION := git`
			`DOWNLOADS := muen.git`

Update Muen port - Upgrade to Muen v0.8+ - Switch to https - Download contrib when building kernel - Append Muen compilation output to build log - Explicitly init required submodule 2016-09-26 18:20:16 +02:00			`URL(muen) := https://git.codelabs.ch/git/muen.git`
Update Muen port Fixes #2356 2017-03-30 16:12:58 +02:00			`REV(muen) := 8592db3f6682387d4384120a0b13c347a84587e5`
hw: Add port for Muen Separation Kernel For additional information about the Muen SK refer to the project page at [1]. [1] - http://muen.codelabs.ch/ 2015-08-23 22:01:55 +02:00			`DIR(muen) := src/kernel/muen`

			`$(call check_tool,git)`
			`$(call check_tool,iasl)`
			`$(call check_tool,tidy)`
			`$(call check_tool,xsltproc)`