X-Git-Url: https://rtime.felk.cvut.cz/gitweb/jailhouse-test.git/blobdiff_plain/f1c32e2bae6e682df539edab1870617b3abbfbf9..0245bb43f486dd424a9eeeb4ebc0503cec99f8d0:/build/l4/Makefile

diff --git a/build/l4/Makefile b/build/l4/Makefile
index 318eaf1..ca3244e 100644
--- 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