From 8d2f2b0101aad118ef61ef785cce5bfb17789221 Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Sun, 23 Aug 2015 22:01:55 +0200
Subject: [PATCH] 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/
---
 repos/base-hw/ports/muen.hash |  1 +
 repos/base-hw/ports/muen.port | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 repos/base-hw/ports/muen.hash
 create mode 100644 repos/base-hw/ports/muen.port

diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash
new file mode 100644
index 000000000..4e9197810
--- /dev/null
+++ b/repos/base-hw/ports/muen.hash
@@ -0,0 +1 @@
+2f8e4f34b1475135c71627f5fea3893ae8b4deeb
diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port
new file mode 100644
index 000000000..d19ded8f9
--- /dev/null
+++ b/repos/base-hw/ports/muen.port
@@ -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