From 7ad00d1152427827389224b0c5d6629c6ca3dc4c Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Tue, 4 Dec 2018 18:37:47 +0100 Subject: [PATCH] base-hw/recipes: src/base-hw-muen --- repos/base-hw/recipes/src/base-hw-muen/content.mk | 5 +++++ repos/base-hw/recipes/src/base-hw-muen/hash | 1 + repos/base-hw/recipes/src/base-hw-muen/used_apis | 2 ++ tool/run/boot_dir/hw | 1 + 4 files changed, 9 insertions(+) create mode 100644 repos/base-hw/recipes/src/base-hw-muen/content.mk create mode 100644 repos/base-hw/recipes/src/base-hw-muen/hash create mode 100644 repos/base-hw/recipes/src/base-hw-muen/used_apis 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 0000000000..301d54659a --- /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 0000000000..763fe680b9 --- /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 0000000000..ed9b772565 --- /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 ece95e8ebd..fd7ee32cc5 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 }