| # |
| # 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" |
