ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: Add port for Muen Separation Kernel

Browse Source 
For additional information about the Muen SK refer to the project page
at [1].

[1] - http://muen.codelabs.ch/
This commit is contained in:
Adrian-Ken Rueegsegger 2015-08-23 22:01:55 +02:00 committed by Christian Helmuth
parent d3a4ed87d1
commit 8d2f2b0101
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/base-hw/ports/muen.hash Normal file
View File

@ -0,0 +1 @@
2f8e4f34b1475135c71627f5fea3893ae8b4deeb

19
repos/base-hw/ports/muen.port Normal file
View File

@ -0,0 +1,19 @@
LICENSE := GPLv3
VERSION := git
DOWNLOADS := muen.git
URL(muen) := http://git.codelabs.ch/git/muen.git
REV(muen) := e969eb84d696caef6f97168411b0cf6b98c1dd85
DIR(muen) := src/kernel/muen
$(call check_tool,git)
$(call check_tool,gnat)
$(call check_tool,gprbuild)
$(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