+all: fiasco l4re
+
+.NOTPARALLEL:
+
+fiasco: fiasco/globalconfig.out
+ $(MAKE) -C $(CURDIR)/fiasco
+
+fiasco-config: fiasco/globalconfig.out
+
+ifeq ($(MAKECMDGOALS),fiasco-config)
+.PHONY: fiasco/globalconfig.out
+endif
+
+fiasco/globalconfig.out: $(CURDIR)/fiasco
+ $(MAKE) -C $(CURDIR)/fiasco config
+
+$(CURDIR)/fiasco:
+ $(MAKE) -C ../../l4/kernel/fiasco BUILDDIR=$@
+
+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: l4/.kconfig
+ $(MAKE) -C l4 #S="$(L4RE_PKGS:%=pkg/%)"
+
+l4re-config: l4/.kconfig
+
+ifeq ($(MAKECMDGOALS),l4-config)
+.PHONY: l4/.kconfig
+endif
+
+l4/.kconfig: $(CURDIR)/l4
+ $(MAKE) -C l4 config
+
+$(CURDIR)/l4:
+ $(MAKE) -C ../../l4/l4 B=$@
+
+.PHONY: hello
+hello:
+ $(MAKE) -C l4 MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage