@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 " 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:
l4re-core/libsupc++-minimal l4re-core/lua l4re-core/moe l4re-core/ned \
l4re-core/sigma0 l4re-core/uclibc l4re-core/uclibc-headers \
l4re-core/uclibc-minimal libedid libirq libvcpu loader log lxfuxlibc \
-rtc shmc x86emu
+rtc shmcKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage x86emu
.PHONY: l4re
l4re: l4re/.kconfig
.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 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 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