diff --git a/repos/base-hw/recipes/src/base-hw-muen/content.mk b/repos/base-hw/recipes/src/base-hw-muen/content.mk
new file mode 100644
index 000000000..301d54659
--- /dev/null
+++ b/repos/base-hw/recipes/src/base-hw-muen/content.mk
@@ -0,0 +1,5 @@
+include $(GENODE_DIR)/repos/base-hw/recipes/src/base-hw_content.inc
+
+content: enable_board_spec
+enable_board_spec: etc/specs.conf
+	echo "SPECS += muen" >> etc/specs.conf
diff --git a/repos/base-hw/recipes/src/base-hw-muen/hash b/repos/base-hw/recipes/src/base-hw-muen/hash
new file mode 100644
index 000000000..763fe680b
--- /dev/null
+++ b/repos/base-hw/recipes/src/base-hw-muen/hash
@@ -0,0 +1 @@
+2018-12-04 d9306d15eafdb5297999272da0fe85af4591fd9b
diff --git a/repos/base-hw/recipes/src/base-hw-muen/used_apis b/repos/base-hw/recipes/src/base-hw-muen/used_apis
new file mode 100644
index 000000000..ed9b77256
--- /dev/null
+++ b/repos/base-hw/recipes/src/base-hw-muen/used_apis
@@ -0,0 +1,2 @@
+base-hw
+base
diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index ece95e8eb..fd7ee32cc 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -206,6 +206,7 @@ proc run_boot_dir {binaries} {
 proc base_src { } {
 
 	if {[have_spec x86_64] && ![have_spec muen]}         { return base-hw-pc }
+	if {[have_spec x86_64] &&  [have_spec muen]}         { return base-hw-muen }
 	if {[have_spec pbxa9]}                               { return base-hw-pbxa9 }
 	if {[have_spec rpi]}                                 { return base-hw-rpi }
 	if {[have_spec wand_quad]}                           { return base-hw-wand_quad }