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

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

URL(muen) := http://git.codelabs.ch/git/muen.git
REV(muen) := a724693a9e4d64cfc6bd5fe992f569d793d7165f
DIR(muen) := src/kernel/muen

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

default: contrib_download
contrib_download: _dirs
	@$(MSG_PREFIX)download contrib
	$(VERBOSE)$(MAKE) -C src/kernel/muen/contrib download QUIET=true
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 20:01:55 +00:00			`LICENSE := GPLv3`
			`VERSION := git`
			`DOWNLOADS := muen.git`

			`URL(muen) := http://git.codelabs.ch/git/muen.git`
Update Muen port - Adjust list of Muen components - vbox: Sync hw_x86_64_muen subject state with Muen SK 2016-07-19 16:26:52 +00:00			`REV(muen) := a724693a9e4d64cfc6bd5fe992f569d793d7165f`
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 20:01:55 +00:00			`DIR(muen) := src/kernel/muen`

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

			`default: contrib_download`
			`contrib_download: _dirs`
			`@$(MSG_PREFIX)download contrib`
			`$(VERBOSE)$(MAKE) -C src/kernel/muen/contrib download QUIET=true`