diff --git a/arch/arc/defconfig b/arch/arc/defconfig new file mode 100644 index 00000000000..93d2e8b529a --- /dev/null +++ b/arch/arc/defconfig @@ -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"