From f6ae69f0f0ccd0c42eefd2b8b012e1420843d2ae Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@nicta.com.au>
Date: Fri, 6 Nov 2015 14:22:03 +1100
Subject: [PATCH] Use autoconf generated header for standalone kernel builds

Configuring standalone kernel builds (such as those used by verification)
has been done in a completely different way to how the kernel is
configured for project builds. As the kernel gains additional options
it becomes difficult to maintain standalone kernel builds without
tediously exporting these additional options, such tedious work is
what autoconf.h is meant to address

The new configuration strategy requires a include/plat/PLAT/autoconf.h
file to exist for any platform that wants to hae standalone builds
performed on it. This configuration also becomes the *verified*
configuration, and makes it clear for projects to build the kernel
in the verified configuration.
---
 Makefile                         | 16 ++++--
 include/plat/am335x/autoconf.h   | 89 ++++++++++++++++++++++++++++++
 include/plat/apq8064/autoconf.h  | 93 +++++++++++++++++++++++++++++++
 include/plat/exynos4/autoconf.h  | 89 ++++++++++++++++++++++++++++++
 include/plat/exynos5/autoconf.h  | 94 ++++++++++++++++++++++++++++++++
 include/plat/imx31/autoconf.h    | 89 ++++++++++++++++++++++++++++++
 include/plat/imx6/autoconf.h     | 89 ++++++++++++++++++++++++++++++
 include/plat/omap3/autoconf.h    | 89 ++++++++++++++++++++++++++++++
 include/plat/pc99/autoconf.h     | 92 +++++++++++++++++++++++++++++++
 include/plat/zynq7000/autoconf.h | 89 ++++++++++++++++++++++++++++++
 10 files changed, 823 insertions(+), 6 deletions(-)
 create mode 100644 include/plat/am335x/autoconf.h
 create mode 100644 include/plat/apq8064/autoconf.h
 create mode 100644 include/plat/exynos4/autoconf.h
 create mode 100644 include/plat/exynos5/autoconf.h
 create mode 100644 include/plat/imx31/autoconf.h
 create mode 100644 include/plat/imx6/autoconf.h
 create mode 100644 include/plat/omap3/autoconf.h
 create mode 100644 include/plat/pc99/autoconf.h
 create mode 100644 include/plat/zynq7000/autoconf.h

diff --git a/Makefile b/Makefile
index c30a93231..5912b9fc6 100644
--- a/Makefile
+++ b/Makefile
@@ -208,10 +208,6 @@ STATICHEADERS := $(shell find ${SOURCE_ROOT}/include/ -name "*.h" \
                  $(shell find ${SOURCE_ROOT}/include/arch/${ARCH} -name "*.h") \
                  $(shell find ${SOURCE_ROOT}/include/plat/${PLAT} -name "*.h")
 
-ifeq (${HAVE_AUTOCONF}, 1)
-	STATICHEADERS += $(srctree)/include/generated/autoconf.h
-endif
-
 STATICSOURCES = $(foreach file,${C_SOURCES_WITH_PARSE} ${ASM_SOURCES}, \
                           ${SOURCE_ROOT}/${file})
 
@@ -352,6 +348,8 @@ endif
 # Only set CFLAGS if we're building standalone.
 # common/Makefile.Flags sets NK_CFLAGS  in Kbuild environments.
 ifndef NK_CFLAGS
+STATICHEADERS += autoconf.h
+DEFINES += -DHAVE_AUTOCONF
 ifeq (${ARCH}, arm)
 CFLAGS += -mtune=${CPU} -marm -march=${ARMV}
 ASFLAGS += -Wa,-mcpu=${CPU} -Wa,-march=${ARMV}
@@ -399,6 +397,10 @@ endif
 ifeq ($(PLAT),allwinnerA20)
 DEFINES += -DALLWINNERA20
 endif
+else
+# Require autoconf to be provided if larger build
+$(if ${HAVE_AUTOCONF},,$(error autoconf.h not provided))
+STATICHEADERS += $(srctree)/include/generated/autoconf.h
 endif # NK_CFLAGS
 
 ifeq (${ARCH}, x86)
@@ -537,6 +539,9 @@ kernel.elf: ${OBJECTS} linker.lds_pp
 	$(Q)${CHANGED} $@ ${CC} ${LDFLAGS} -Wl,-T -Wl,linker.lds_pp \
 		-o $@ ${OBJECTS}
 
+autoconf.h: include/plat/${PLAT}/autoconf.h
+	${Q}cp $< $@
+
 ############################################################
 ### Pattern rules
 ############################################################
@@ -571,7 +576,6 @@ arch/api/syscall.h: ${SOURCE_ROOT}/include/api/syscall.xsd ${SOURCE_ROOT}/includ
 	$(Q)${SYSCALL_ID_GEN_PATH} --xml $(word 2, $^) \
 		--kernel_header $@
 
-
 ####################
 # Bitfield generation
 ####################
@@ -638,7 +642,7 @@ endif
 ### Utility targets
 ############################################################
 
-CLEANTARGETS = kernel.elf kernel.elf.strip ${GENHEADERS} ${OBJECTS} \
+CLEANTARGETS = kernel.elf kernel.elf.strip ${GENHEADERS} ${OBJECTS} autoconf.h \
   parser.out parsetab.py \
   kernel_final.s kernel_final.c kernel_all.c kernel_all.c_pp \
   ${PPFILES} ${THEORIES} c-parser.log c-parser-all.log \
diff --git a/include/plat/am335x/autoconf.h b/include/plat/am335x/autoconf.h
new file mode 100644
index 000000000..27af09bc3
--- /dev/null
+++ b/include/plat/am335x/autoconf.h
@@ -0,0 +1,89 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:35:33 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_PLAT_AM335X 1
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_ARM_CORTEX_A8 1
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/apq8064/autoconf.h b/include/plat/apq8064/autoconf.h
new file mode 100644
index 000000000..90c999bd7
--- /dev/null
+++ b/include/plat/apq8064/autoconf.h
@@ -0,0 +1,93 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:38:38 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_ARCH_TIMER 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_EXPORT_PCNT_USER 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_ARM_CORTEX_A15 1
+#define CONFIG_EXPORT_VCNT_USER 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_ARM_ERRATA_773022 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_PLAT_APQ8064 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/exynos4/autoconf.h b/include/plat/exynos4/autoconf.h
new file mode 100644
index 000000000..efdcced0e
--- /dev/null
+++ b/include/plat/exynos4/autoconf.h
@@ -0,0 +1,89 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:36:10 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARM_CORTEX_A9 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_PLAT_EXYNOS4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/exynos5/autoconf.h b/include/plat/exynos5/autoconf.h
new file mode 100644
index 000000000..72bd9f646
--- /dev/null
+++ b/include/plat/exynos5/autoconf.h
@@ -0,0 +1,94 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:37:42 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_ARCH_TIMER 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_EXPORT_PCNT_USER 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_PLAT_EXYNOS5410 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_ARM_CORTEX_A15 1
+#define CONFIG_EXPORT_VCNT_USER 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_PLAT_EXYNOS54XX 1
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_ARM_ERRATA_773022 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/imx31/autoconf.h b/include/plat/imx31/autoconf.h
new file mode 100644
index 000000000..10785b757
--- /dev/null
+++ b/include/plat/imx31/autoconf.h
@@ -0,0 +1,89 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:32:34 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_PLAT_KZM 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_ARCH_ARM_V6 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_ARM1136JF_S 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/imx6/autoconf.h b/include/plat/imx6/autoconf.h
new file mode 100644
index 000000000..fad1dd1a8
--- /dev/null
+++ b/include/plat/imx6/autoconf.h
@@ -0,0 +1,89 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:36:38 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARM_CORTEX_A9 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_PLAT_IMX6 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/omap3/autoconf.h b/include/plat/omap3/autoconf.h
new file mode 100644
index 000000000..ca24d4a1f
--- /dev/null
+++ b/include/plat/omap3/autoconf.h
@@ -0,0 +1,89 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:34:57 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_ARM_CORTEX_A8 1
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_PLAT_OMAP3 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/pc99/autoconf.h b/include/plat/pc99/autoconf.h
new file mode 100644
index 000000000..1efaf3ecb
--- /dev/null
+++ b/include/plat/pc99/autoconf.h
@@ -0,0 +1,92 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:40:47 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_IRQ_IOAPIC 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_LIB_PLAT_SUPPORT_SERIAL_PORT_X86_COM1 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_ARCH_X86 1
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_MAX_NUM_IOAPIC 1
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_PCI 1
+#define CONFIG_MAX_NUM_NODES 1
+#define CONFIG_CROSS_COMPILER_PREFIX ""
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_IOMMU 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_ARCH_IA32 1
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_PLAT_PC99 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_MAX_NUM_PASSTHROUGH_DEVICES 20
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1
diff --git a/include/plat/zynq7000/autoconf.h b/include/plat/zynq7000/autoconf.h
new file mode 100644
index 000000000..80a3a09a2
--- /dev/null
+++ b/include/plat/zynq7000/autoconf.h
@@ -0,0 +1,89 @@
+/*
+ * Automatically generated C config: don't edit
+ * Project Configuration
+ * Mon Nov  9 14:37:01 2015
+ */
+#define AUTOCONF_INCLUDED
+#define CONFIG_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARM_CORTEX_A9 1
+#define CONFIG_HAVE_CACHE 1
+#define CONFIG_LIB_SEL4_DEBUG 1
+#define CONFIG_LIB_ELF 1
+#define CONFIG_USER_DEBUG_BUILD 1
+#define CONFIG_HAVE_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4 1
+#define CONFIG_LIB_SEL4_VKA 1
+#define CONFIG_HAVE_CRT 1
+#define CONFIG_TIMER_TICK_MS 2
+#define CONFIG_ARM_ERRATA_764369 1
+#define CONFIG_KERNEL_CFLAGS ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START 1
+#define CONFIG_HAVE_LIBC 1
+#define CONFIG_PRINT_XML 1
+#define CONFIG_USER_COMPILER ""
+#define CONFIG_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_WORD_SIZE 32
+#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
+#define CONFIG_APP_TESTS 1
+#define CONFIG_MAX_NUM_TRACE_POINTS 0
+#define CONFIG_SEL4UTILS_STACK_SIZE 65536
+#define CONFIG_HAVE_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_FASTPATH 1
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ 0
+#define CONFIG_PLAT_ZYNQ7000 1
+#define CONFIG_HAVE_TIMER 1
+#define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 17
+#define CONFIG_DOMAIN_SCHEDULE ""
+#define CONFIG_BUFFER_OUTPUT 1
+#define CONFIG_LIB_SEL4 1
+#define CONFIG_LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_NONE 1
+#define CONFIG_LIB_SEL4_UTILS 1
+#define CONFIG_RELEASE_BUILD 1
+#define CONFIG_LIB_SEL4_VSPACE 1
+#define CONFIG_LIB_PLATSUPPORT 1
+#define CONFIG_LIB_SEL4_ALLOCMAN 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_SEL4_TEST 1
+#define CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS 1
+#define CONFIG_LIB_ELFLOADER 1
+#define CONFIG_HAVE_LIB_SEL4_VSPACE 1
+#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166
+#define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0
+#define CONFIG_CROSS_COMPILER_PREFIX "arm-linux-gnueabi-"
+#define CONFIG_LIB_SEL4_MUSLC_SYS 1
+#define CONFIG_HAVE_LIB_SEL4_TEST 1
+#define CONFIG_LIB_MUSL_C 1
+#define CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION 100
+#define CONFIG_ARCH_ARM_V7A 1
+#define CONFIG_USER_CFLAGS ""
+#define CONFIG_HAVE_LIB_SEL4_DEBUG 1
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1
+#define CONFIG_LIB_UTILS 1
+#define CONFIG_OPTIMISATION_O2 1
+#define CONFIG_HAVE_LIB_CPIO 1
+#define CONFIG_HAVE_LIB_SEL4_VKA 1
+#define CONFIG_LIB_SEL4_HAVE_REGISTER_STUBS 1
+#define CONFIG_HAVE_LIB_SEL4_PLAT_SUPPORT 1
+#define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700"
+#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
+#define CONFIG_ARCH_ARM 1
+#define CONFIG_HAVE_LIB_ELF 1
+#define CONFIG_HAVE_LIB_PLATSUPPORT 1
+#define CONFIG_NUM_DOMAINS 16
+#define CONFIG_HAVE_LIB_UTILS 1
+#define CONFIG_USER_OPTIMISATION_O2 1
+#define CONFIG_LIB_CPIO 1
+#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
+#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_NUM_PRIORITIES 256
+#define CONFIG_TESTPRINTER_REGEX ".*"
+#define CONFIG_APP_SEL4TEST 1
+#define CONFIG_HAVE_LIB_SEL4_UTILS 1
+#define CONFIG_KERNEL_COMPILER ""
+#define CONFIG_TIME_SLICE 5
+#define CONFIG_KERNEL_EXTRA_CPPFLAGS ""
+#define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128
+#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1
+#define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576
+#define CONFIG_BUILDSYS_USE_CCACHE 1