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