FOC_BUILD_DIR = $(shell pwd)/build
FOC           = $(FOC_BUILD_DIR)/foc
FOC_SRC      := $(call select_from_ports,foc)/src/kernel/foc/kernel/fiasco

KERNEL_BUILD_OUTPUT_FILTER = 2>&1 | sed "s/^/      [fiasco.oc]  /"

MAKEOVERRIDES := $(filter-out KERNEL=%,$(MAKEOVERRIDES))
unexport KERNEL

$(FOC_BUILD_DIR):
	$(VERBOSE_MK) set -o pipefail; \
	              $(MAKE) SYSTEM_TARGET="$(CROSS_DEV_PREFIX)" \
	                      $(VERBOSE_DIR) -C $(FOC_SRC) BUILDDIR=$@ \
	                      $(KERNEL_BUILD_OUTPUT_FILTER)
	$(VERBOSE)cp $(KERNEL_CONFIG) $@/globalconfig.out

$(FOC): $(FOC_BUILD_DIR)
	$(VERBOSE_MK) set -o pipefail; \
	              $(MAKE) SYSTEM_TARGET="$(CROSS_DEV_PREFIX)" \
	                      CC="$(CC)" CXX="$(CXX)" \
	                      $(VERBOSE_DIR) -C $(FOC_BUILD_DIR) \
	                      $(KERNEL_BUILD_OUTPUT_FILTER)
	$(VERBOSE)touch $@

#
# Sigma0 and bootstrap are provided as L4 packages
#
# We build them within the L4 build directory created by the 'syscall-fiasco'
# library.
#

LIBS += syscall-foc

PKGS := uclibc-headers \
        uclibc-minimal \
        l4util \
        cxx \
        sigma0 \
        drivers-frst/include drivers-frst/of drivers-frst/uart \
        bootstrap

L4_BUILD_DIR := $(LIB_CACHE_DIR)/syscall-foc/build

include $(REP_DIR)/lib/mk/l4_pkg.inc

#
# Execute the rules in this file only at the second build stage when we know
# about the complete build settings, e.g., 'CROSS_DEV_PREFIX'.
#
ifeq ($(called_from_lib_mk),yes)
all: $(FOC)
endif