build: l4: Add new target "make bench-bare" for launching fiasco without hypervisor...

[jailhouse-test.git] / build / l4 / Makefile

diff --git a/build/l4/Makefile b/build/l4/Makefile
index 318eaf1e03217aecd97e3880766f388c067aae9e..ca3244e7b3fb25cbbad45fee234f8c8311ec64d6 100644 (file)
--- a/build/l4/Makefile
+++ b/build/l4/Makefile
@@ -7,8 +7,10 @@ help:
        @echo "  fiasco-config - Reconfigure Fiasco kernel"
        @echo "  l4re          - Build L4 runtime environment"
        @echo "  l4re-config   - Reconfigure L4 runtime environment"
-       @echo "  hello         - Build image with hello entry"
-       @echo "  benchmarks    - (Re)Build ferret directory & prepare image with benchmarks"
+       @echo "  hello         - Build image with hello entry for jailhouse"
+       @echo "  benchmarks    - (Re)Build ferret directory & prepare image with ferret scalar demo"
+       @echo "  bench         - (Re)Build benchmark directory & prepare image with benchmark for jailhouse"
+       @echo "  bench-bare    - (Re)Build benchmark directory & prepare image with benchmark for bare hardware launch"
 
 .NOTPARALLEL:
 
@@ -72,15 +74,19 @@ l4re/.stamp-jh:
 
 .PHONY: hello
 hello:
-       $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage
+       $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello BOOTSTRAP_PKG=bootstrap_custom elfimage
 
 .PHONY: benchmarks
 benchmarks:
        $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/ferret:pkg/ferret/examples/monitors/simple_mon_re
-       $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=ferret-bench elfimage
+       $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=ferret-bench BOOTSTRAP_PKG=bootstrap_custom elfimage
 
 .PHONY: bench
 bench:
        $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/benchmark
-       $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=bench elfimage
+       $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=bench BOOTSTRAP_PKG=bootstrap_custom elfimage
 
+.PHONY: bench-bare
+bench-bare:
+       $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco S=pkg/benchmark
+       $(MAKE) -C l4re MODULES_LIST=$(CURDIR)/ferret-modules.list MODULE_SEARCH_PATH=$(CURDIR)/fiasco:$(CURDIR)/ned-confs/ E=bench-bare BOOTSTRAP_PKG=bootstrap elfimage