@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"
.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
+
+.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