all: fiasco l4re help: @echo "Supported targets:" @echo " all - Build all" @echo " fiasco - Build Fiasco kernel" @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" .NOTPARALLEL: ########## Fiasco ########## .PHONY: fiasco fiasco: fiasco/globalconfig.out $(MAKE) -C fiasco .PHONY: fiasco-config fiasco-config: fiasco/globalconfig.out ifeq ($(MAKECMDGOALS),fiasco-config) .PHONY: fiasco/globalconfig.out endif fiasco/globalconfig.out: fiasco/.stamp-jh $(MAKE) -C $(@D) config touch $@ fiasco/.stamp-jh: $(MAKE) -C ../../l4/kernel/fiasco BUILDDIR=$(CURDIR)/$(@D) touch $@ ########## L4Re ########## L4RE_PKGS = acpica bootstrap cxx_thread drivers drivers-frst fb-drv \ hello input io/io io/libio io/libio-direct io/libio-io io/libvbus \ l4re-core/crtn l4re-core/cxx l4re-core/cxx_libc_io l4re-core/l4re \ l4re-core/l4re_c l4re-core/l4re_kernel l4re-core/l4re_vfs \ l4re-core/l4sys l4re-core/l4util l4re-core/ldscripts l4re-core/ldso \ l4re-core/libc_backends l4re-core/libgcc l4re-core/libgcc-pure \ l4re-core/libkproxy l4re-core/libloader l4re-core/libsigma0 \ l4re-core/libstdc++-headers l4re-core/libstdc++-v3 \ l4re-core/libstdc++-v3-minimal l4re-core/libsupc++ \ 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 .PHONY: l4re l4re: l4re/.kconfig $(MAKE) -C l4re #S="$(L4RE_PKGS:%=pkg/%)" .PHONY: l4re-config l4re-config: l4re/.kconfig ifeq ($(MAKECMDGOALS),l4re-config) .PHONY: l4re/.kconfig endif l4re/.kconfig: l4re/.stamp-jh $(MAKE) -C $(@D) config touch $@ l4re/.stamp-jh: $(MAKE) -C ../../l4/l4 B=$(CURDIR)/$(@D) touch $@ ########## Application ########## .PHONY: hello hello: $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage