arm/x86: update defconfig

Use fragments instead of full defconfig

Change-Id: I558d3bfa709bbea874ac3362a659252f24aca834
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-09-13 18:35:58 -04:00
commit d510cab958
2 changed files with 24 additions and 359 deletions

View file

@ -1,163 +1,14 @@
#
# Automatically generated file; DO NOT EDIT.
# Zephyr Kernel/arm Configuration
#
CONFIG_ARM=y
CONFIG_ARCH_DEFCONFIG="arch/arm/defconfig"
# CONFIG_NANOKERNEL is not set
CONFIG_MICROKERNEL=y
#
# General Kernel Options
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_INIT_STACKS is not set
CONFIG_XIP=y
# CONFIG_ENHANCED_SECURITY is not set
# CONFIG_RING_BUFFER is not set
# CONFIG_EVENT_LOGGER is not set
# CONFIG_KERNEL_PROFILER is not set
#
# Nanokernel Options
#
# CONFIG_BOOT_BANNER is not set
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_THREAD_CUSTOM_DATA is not set
# CONFIG_NANO_TIMEOUTS is not set
# CONFIG_NANO_TIMERS is not set
#
# Microkernel Options
#
CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
CONFIG_MICROKERNEL_SERVER_PRIORITY=0
CONFIG_PRIORITY_CEILING=0
CONFIG_COMMAND_STACK_SIZE=64
CONFIG_NUM_COMMAND_PACKETS=16
CONFIG_NUM_TIMER_PACKETS=10
CONFIG_NUM_TASK_PRIORITIES=16
CONFIG_MAX_NUM_TASK_IRQS=0
#
# Timer API Options
#
CONFIG_TIMESLICING=y
CONFIG_TIMESLICE_SIZE=0
CONFIG_TIMESLICE_PRIORITY=0
# CONFIG_TASK_MONITOR is not set
# CONFIG_OBJECT_MONITOR is not set
# CONFIG_THREAD_MONITOR is not set
# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
#
# General Setup
#
# CONFIG_EXPERIMENTAL is not set
#
# Cryptography
#
# CONFIG_TINYCRYPT is not set
#
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="microkernel"
CONFIG_CROSS_COMPILE=""
# CONFIG_GDB_INFO is not set
CONFIG_COMPILER_OPT=""
CONFIG_TOOLCHAIN_VARIANT=""
CONFIG_MINIMAL_LIBC=y
# CONFIG_NEWLIB_LIBC is not set
#
# Debugging Options
#
# CONFIG_DEBUG is not set
# CONFIG_EARLY_CONSOLE is not set
# CONFIG_ASSERT is not set
#
# Boot Options
#
# CONFIG_BOOTLOADER_UNKNOWN is not set
#
# General Platform Configuration
#
CONFIG_PLATFORM_FSL_FRDM_K64F=y
# CONFIG_PLATFORM_TI_LM3S6965 is not set
CONFIG_ISA_THUMB2=y
CONFIG_CPU_CORTEX=y
CONFIG_CPU_CORTEX_M=y
CONFIG_CPU_CORTEX_M3_M4=y
CONFIG_CPU_CORTEX_M4=y
#
# ARM Cortex-M options
#
CONFIG_LDREX_STREX_AVAILABLE=y
CONFIG_DATA_ENDIANNESS_LITTLE=y
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
CONFIG_STACK_GROWS_DOWN=y
CONFIG_NUM_IRQ_PRIO_BITS=4
# CONFIG_RUNTIME_NMI is not set
CONFIG_FAULT_DUMP=2
CONFIG_SRAM_SIZE=192
CONFIG_SRAM_BASE_ADDRESS=0x20000000
CONFIG_FLASH_SIZE=1024
CONFIG_FLASH_BASE_ADDRESS=0x00000000
#
# ARM Cortex-M3/M4 options
#
CONFIG_SW_ISR_TABLE=y
CONFIG_SW_ISR_TABLE_DYNAMIC=y
CONFIG_IRQ_VECTOR_TABLE_PLATFORM=y
# CONFIG_ZERO_LATENCY_IRQS is not set
CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_PLATFORM="fsl_frdm_k64f"
CONFIG_NUM_IRQS=34
CONFIG_WDOG_INIT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE is not set
# CONFIG_SERIAL is not set
# CONFIG_GPIO is not set
#
# Interrupt Controllers
#
#
# Timer Drivers
#
CONFIG_ARM=y
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
CONFIG_PLATFORM_TI_LM3S6965=y
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
CONFIG_UART_CONSOLE_INDEX=0
CONFIG_UART_CONSOLE_BAUDRATE=115200
CONFIG_SERIAL=y
CONFIG_CORTEX_M_SYSTICK=y
#
# Random Generation Configuration
#
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_SPI is not set
#
# I2C
#
# CONFIG_I2C is not set
# CONFIG_DW_I2C is not set
#
# Networking
#
# CONFIG_BLUETOOTH is not set
# CONFIG_NETWORKING is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
CONFIG_FLASH_SIZE=256
CONFIG_SRAM_SIZE=64
CONFIG_STELLARIS_UART=y