4 @echo "Supported targets:"
5 @echo " all - Build all"
6 @echo " fiasco - Build Fiasco kernel"
7 @echo " fiasco-config - Reconfigure Fiasco kernel"
8 @echo " l4re - Build L4 runtime environment"
9 @echo " l4re-config - Reconfigure L4 runtime environment"
10 @echo " hello - Build image with hello entry"
14 ########## Fiasco ##########
17 fiasco: fiasco/globalconfig.out
21 fiasco-config: fiasco/globalconfig.out
23 ifeq ($(MAKECMDGOALS),fiasco-config)
24 .PHONY: fiasco/globalconfig.out
27 fiasco/globalconfig.out: fiasco/.stamp-jh
28 $(MAKE) -C $(@D) config
32 $(MAKE) -C ../../l4/kernel/fiasco BUILDDIR=$(CURDIR)/$(@D)
35 ########## L4Re ##########
37 L4RE_PKGS = acpica bootstrap cxx_thread drivers drivers-frst fb-drv \
38 hello input io/io io/libio io/libio-direct io/libio-io io/libvbus \
39 l4re-core/crtn l4re-core/cxx l4re-core/cxx_libc_io l4re-core/l4re \
40 l4re-core/l4re_c l4re-core/l4re_kernel l4re-core/l4re_vfs \
41 l4re-core/l4sys l4re-core/l4util l4re-core/ldscripts l4re-core/ldso \
42 l4re-core/libc_backends l4re-core/libgcc l4re-core/libgcc-pure \
43 l4re-core/libkproxy l4re-core/libloader l4re-core/libsigma0 \
44 l4re-core/libstdc++-headers l4re-core/libstdc++-v3 \
45 l4re-core/libstdc++-v3-minimal l4re-core/libsupc++ \
46 l4re-core/libsupc++-minimal l4re-core/lua l4re-core/moe l4re-core/ned \
47 l4re-core/sigma0 l4re-core/uclibc l4re-core/uclibc-headers \
48 l4re-core/uclibc-minimal libedid libirq libvcpu loader log lxfuxlibc \
53 $(MAKE) -C l4re #S="$(L4RE_PKGS:%=pkg/%)"
56 l4re-config: l4re/.kconfig
58 ifeq ($(MAKECMDGOALS),l4re-config)
62 l4re/.kconfig: l4re/.stamp-jh
63 $(MAKE) -C $(@D) config
67 $(MAKE) -C ../../l4/l4 B=$(CURDIR)/$(@D)
70 ########## Application ##########
74 $(MAKE) -C l4re MODULE_SEARCH_PATH=$(CURDIR)/fiasco E=hello elfimage