Add simple Makefile to build fiasci and l4re

diff --git a/build/l4/Makefile b/build/l4/Makefile
new file mode 100644 (file)
index 0000000..df80379
--- /dev/null
+++ b/build/l4/Makefile
@@ -0,0 +1,52 @@
+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