arc: add defconfig

Change-Id: I7365d7eb31254e0fc29b1a82444f4c0fd3c05f02
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-06-20 09:44:18 -04:00
commit 9687ed0b37

129
arch/arc/defconfig Normal file
View file

@ -0,0 +1,129 @@
#
# Automatically generated file; DO NOT EDIT.
# Zephyr Kernel/arc Configuration
#
# CONFIG_NANOKERNEL is not set
CONFIG_MICROKERNEL=y
#
# General Kernel Options
#
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_INIT_STACKS is not set
CONFIG_XIP=y
# CONFIG_ENHANCED_SECURITY is not set
#
# Nanokernel Options
#
# CONFIG_BOOT_BANNER is not set
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_CONTEXT_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_ADVANCED_POWER_MANAGEMENT is not set
CONFIG_PRINTK=y
#
# General Setup
#
# CONFIG_EXPERIMENTAL is not set
CONFIG_CROSS_COMPILE=""
#
# Compile and Link Features
#
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y
#
# Debugging Options
#
# CONFIG_STDOUT_CONSOLE is not set
# CONFIG_ASSERT is not set
#
# System Monitoring Options
#
#
# ARC family options
#
CONFIG_ARC=y
#
# ARC EM4 processor options
#
CONFIG_CPU_ARCEM4=y
#
# ARCv2 Family Options
#
CONFIG_CPU_ARCV2=y
CONFIG_DATA_ENDIANNESS_LITTLE=y
CONFIG_NUM_IRQ_PRIO_LEVELS=1
CONFIG_NUM_REGULAR_IRQ_PRIO_LEVELS=1
CONFIG_NUM_IRQS=17
CONFIG_FIRQ_STACK_SIZE=1024
CONFIG_FAULT_DUMP=2
CONFIG_SW_ISR_TABLE=y
CONFIG_SW_ISR_TABLE_DYNAMIC=y
CONFIG_SW_ISR_TABLE_BSP=y
CONFIG_IRQ_VECTOR_TABLE_BSP=y
# CONFIG_ARCH_HAS_TASK_ABORT is not set
# CONFIG_ARCH_HAS_NANO_FIBER_ABORT is not set
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
# Serial Drivers
#
# CONFIG_NS16550 is not set
# CONFIG_K20_UART is not set
# CONFIG_STELLARIS_UART is not set
# CONFIG_UART_INTERRUPT_DRIVEN is not set
#
# Interrupt Controllers
#
CONFIG_ARCV2_INTERRUPT_UNIT=y
#
# Timer Drivers
#
CONFIG_ARCV2_TIMER=y
#
# Random Generation Configuration
#
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
# CONFIG_NETWORKING is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"