portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

pc99: Update autoconf.h for standalone builds

Browse source
This commit is contained in:
Adrian Danis 2016-10-12 14:18:55 +11:00
parent a328f0fd39
commit a3c88cfc5b
1 changed files with 10 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
include/plat/pc99/autoconf.h
View file

@ -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