From a3c88cfc5ba755ef94a71c57251da4b3371b8ff9 Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Wed, 12 Oct 2016 14:18:55 +1100 Subject: [PATCH] pc99: Update autoconf.h for standalone builds --- include/plat/pc99/autoconf.h | 23 ++++++++++------------- 1 file changed, 10 insertions(+), 13 deletions(-) diff --git a/include/plat/pc99/autoconf.h b/include/plat/pc99/autoconf.h index a0ee65375..4da258268 100644 --- a/include/plat/pc99/autoconf.h +++ b/include/plat/pc99/autoconf.h @@ -1,7 +1,7 @@ /* * Automatically generated C config: don't edit * Project Configuration - * Mon Feb 29 19:01:15 2016 + * Wed Oct 12 14:16:06 2016 */ #define AUTOCONF_INCLUDED #define CONFIG_LIB_SEL4_SIMPLE 1 @@ -14,7 +14,7 @@ #define CONFIG_LIB_SEL4_VKA 1 #define CONFIG_HAVE_CRT 1 #define CONFIG_KERNEL_MASTER 1 -#define CONFIG_TIMER_TICK_MS 10 +#define CONFIG_TIMER_TICK_MS 2 #define CONFIG_IRQ_IOAPIC 1 #define CONFIG_FXSAVE 1 #define CONFIG_XSAVE_SIZE 512 @@ -22,13 +22,11 @@ #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 64 #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_VERIFICATION_BUILD 1 #define CONFIG_SEL4UTILS_STACK_SIZE 655360 @@ -38,7 +36,6 @@ #define CONFIG_HAVE_TIMER 1 #define CONFIG_SEL4UTILS_CSPACE_SIZE_BITS 18 #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 @@ -49,8 +46,10 @@ #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 167 +#define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 230 #define CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ 0 +#define CONFIG_SYSCALL 1 +#define CONFIG_MAX_NUM_NODES 1 #define CONFIG_CROSS_COMPILER_PREFIX "" #define CONFIG_MAX_RMRR_ENTRIES 32 #define CONFIG_LIB_SEL4_INLINE_INVOCATIONS 1 @@ -61,8 +60,6 @@ #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_CACHE_LN_SZ 64 #define CONFIG_LIB_SEL4_SIMPLE_DEFAULT 1 #define CONFIG_LIB_UTILS 1 #define CONFIG_OPTIMISATION_O2 1 @@ -73,25 +70,25 @@ #define CONFIG_USER_EXTRA_CFLAGS "-D_XOPEN_SOURCE=700" #define CONFIG_HAVE_LIB_SEL4_SIMPLE 1 #define CONFIG_HAVE_LIB_ELF 1 +#define CONFIG_SUPPORT_PCID 1 #define CONFIG_HAVE_LIB_PLATSUPPORT 1 -#define CONFIG_NUM_DOMAINS 16 +#define CONFIG_NUM_DOMAINS 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_ROOT_CNODE_SIZE_BITS 16 #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_TIME_SLICE 1 #define CONFIG_KERNEL_EXTRA_CPPFLAGS "" #define CONFIG_LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES 128 -#define CONFIG_LIB_SEL4_SIMPLE_STABLE 1 -#define CONFIG_ARCH_X86_64 1 #define CONFIG_CACHE_LN_SZ 64 +#define CONFIG_ARCH_X86_64 1 #define CONFIG_HUGE_PAGE 1 #define CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES 1048576 #define CONFIG_BUILDSYS_USE_CCACHE 1