120 lines
2.1 KiB
Plaintext
120 lines
2.1 KiB
Plaintext
#
|
|
# Automatically generated file; DO NOT EDIT.
|
|
# Zephyr Kernel/arc Configuration
|
|
#
|
|
CONFIG_NANOKERNEL=y
|
|
# CONFIG_MICROKERNEL is not set
|
|
|
|
#
|
|
# 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
|
|
# CONFIG_EVENT_LOGGER is not set
|
|
# CONFIG_KERNEL_PROFILER is not set
|
|
# CONFIG_PROFILER_BUFFER_SIZE is not set
|
|
# CONFIG_PROFILER_CONTEXT_SWITCH 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
|
|
|
|
#
|
|
# General Setup
|
|
#
|
|
# CONFIG_EXPERIMENTAL is not set
|
|
CONFIG_CROSS_COMPILE=""
|
|
|
|
#
|
|
# Compile and Link Features
|
|
#
|
|
CONFIG_KERNEL_BIN_NAME="nanokernel"
|
|
CONFIG_COMPILER_OPT=""
|
|
CONFIG_MINIMAL_LIBC=y
|
|
|
|
#
|
|
# Debugging Options
|
|
#
|
|
CONFIG_PRINTK=y
|
|
# CONFIG_STDOUT_CONSOLE is not set
|
|
# CONFIG_ASSERT is not set
|
|
|
|
#
|
|
# Boot Options
|
|
#
|
|
# CONFIG_BOOTLOADER_UNKNOWN is not set
|
|
|
|
#
|
|
# 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
|
|
CONFIG_UART_CONSOLE_INDEX=0
|
|
|
|
#
|
|
# 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
|
|
|
|
#
|
|
# Networking
|
|
#
|
|
# CONFIG_BLUETOOTH is not set
|
|
# CONFIG_NETWORKING is not set
|
|
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
|