#
# Automatically generated file; DO NOT EDIT.
# Zephyr Kernel Configuration
#
# CONFIG_ARC is not set
CONFIG_ARM=y
# CONFIG_X86 is not set
# CONFIG_NIOS2 is not set
# CONFIG_RISCV32 is not set
# CONFIG_XTENSA is not set
# CONFIG_SYS_POWER_LOW_POWER_STATE_SUPPORTED is not set
# CONFIG_SYS_POWER_DEEP_SLEEP_SUPPORTED is not set
# CONFIG_BOOTLOADER_CONTEXT_RESTORE_SUPPORTED is not set
# CONFIG_SIMPLE_FATAL_ERROR_HANDLER is not set
CONFIG_ARCH="arm"
CONFIG_SOC="ti_lm3s6965"
CONFIG_BOARD="qemu_cortex_m3"
CONFIG_GEN_ISR_TABLES=y
CONFIG_GEN_IRQ_VECTOR_TABLE=y
CONFIG_GEN_SW_ISR_TABLE=y
CONFIG_GEN_IRQ_START_VECTOR=0
CONFIG_ARCH_DEFCONFIG="arch/arm/defconfig"
# CONFIG_CPU_HAS_MPU is not set
# CONFIG_CPU_HAS_FPU is not set
CONFIG_DATA_ENDIANNESS_LITTLE=y
CONFIG_NUM_IRQS=34
CONFIG_FAULT_DUMP=2
# CONFIG_IRQ_OFFLOAD is not set
CONFIG_XIP=y
# CONFIG_SOC_SERIES_BEETLE is not set
# CONFIG_SOC_SERIES_MPS2 is not set
# CONFIG_SOC_SERIES_SAM3X is not set
# CONFIG_SOC_SERIES_SAM4S is not set
# CONFIG_SOC_SERIES_SAME70 is not set
# CONFIG_SOC_SERIES_NRF51X is not set
# CONFIG_SOC_SERIES_NRF52X is not set
# CONFIG_SOC_SERIES_KINETIS_K6X is not set
# CONFIG_SOC_SERIES_KINETIS_KL2X is not set
# CONFIG_SOC_SERIES_KINETIS_KWX is not set
# CONFIG_SOC_SERIES_STM32F1X is not set
# CONFIG_SOC_SERIES_STM32F3X is not set
# CONFIG_SOC_SERIES_STM32F4X is not set
# CONFIG_SOC_SERIES_STM32L4X is not set
CONFIG_SOC_TI_LM3S6965=y
# CONFIG_SOC_SERIES_CC2650 is not set
# CONFIG_SOC_SERIES_CC32XX is not set

#
# ARM Options
#
CONFIG_CPU_CORTEX=y
CONFIG_CPU_CORTEX_M=y
CONFIG_CPU_HAS_SYSTICK=y
CONFIG_ISA_THUMB2=y
CONFIG_CPU_CORTEX_M_HAS_BASEPRI=y
CONFIG_CPU_CORTEX_M_HAS_PROGRAMMABLE_FAULT_PRIOS=y
# CONFIG_ARMV6_M is not set
CONFIG_ARMV7_M=y
CONFIG_CPU_CORTEX_M3=y
# CONFIG_CPU_CORTEX_M7 is not set

#
# ARM Cortex-M options
#
CONFIG_LDREX_STREX_AVAILABLE=y
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
# CONFIG_RUNTIME_NMI is not set

#
# ARM Cortex-M0/M0+/M3/M4/M7 options
#
# CONFIG_ZERO_LATENCY_IRQS is not set
CONFIG_ARCH_HAS_THREAD_ABORT=y

#
# Board Configuration
#
# CONFIG_SOC_FAMILY_ARM is not set
# CONFIG_SOC_FAMILY_NRF5 is not set
# CONFIG_SOC_FAMILY_KINETIS is not set
# CONFIG_HAS_OSC is not set
# CONFIG_HAS_MCG is not set
# CONFIG_HAS_RNGA is not set
# CONFIG_HAS_TRNG is not set
# CONFIG_HAS_FTM is not set
# CONFIG_HAS_LPUART is not set
# CONFIG_HAS_LPSCI is not set
# CONFIG_HAS_ADC16 is not set
# CONFIG_SOC_FAMILY_STM32 is not set
CONFIG_SOC_TI_LM3S6965_QEMU=y
# CONFIG_SOC_FAMILY_TISIMPLELINK is not set
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
CONFIG_TOOLCHAIN_VARIANT=""
CONFIG_QEMU_TARGET=y
CONFIG_BOARD_QEMU_CORTEX_M3=y
# CONFIG_BOARD_XT_SIM is not set

#
# Board Options
#

#
# General Kernel Options
#
CONFIG_MULTITHREADING=y
CONFIG_NUM_COOP_PRIORITIES=16
CONFIG_NUM_PREEMPT_PRIORITIES=15
CONFIG_MAIN_THREAD_PRIORITY=0
CONFIG_COOP_ENABLED=y
CONFIG_PREEMPT_ENABLED=y
CONFIG_PRIORITY_CEILING=0
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_IDLE_STACK_SIZE=256
CONFIG_ISR_STACK_SIZE=2048
# CONFIG_THREAD_STACK_INFO is not set
# CONFIG_THREAD_CUSTOM_DATA is not set
CONFIG_ERRNO=y
# CONFIG_APPLICATION_MEMORY is not set

#
# Kernel Debugging and Metrics
#
# CONFIG_KERNEL_DEBUG is not set
CONFIG_BOOT_BANNER=y
CONFIG_BOOT_DELAY=0
CONFIG_BUILD_TIMESTAMP=y
# CONFIG_EXECUTION_BENCHMARKING is not set
# CONFIG_THREAD_MONITOR is not set

#
# Work Queue Options
#
CONFIG_SYSTEM_WORKQUEUE_STACK_SIZE=1024
CONFIG_SYSTEM_WORKQUEUE_PRIORITY=-1
CONFIG_OFFLOAD_WORKQUEUE_STACK_SIZE=1024
CONFIG_OFFLOAD_WORKQUEUE_PRIORITY=-1

#
# Atomic Operations
#
CONFIG_ATOMIC_OPERATIONS_BUILTIN=y

#
# Timer API Options
#
CONFIG_TIMESLICING=y
CONFIG_TIMESLICE_SIZE=0
CONFIG_TIMESLICE_PRIORITY=0
# CONFIG_POLL is not set

#
# Other Kernel Object Options
#
CONFIG_NUM_MBOX_ASYNC_MSGS=10
CONFIG_NUM_PIPE_ASYNC_MSGS=10
# CONFIG_USERSPACE is not set

#
# Memory Pool Options
#
CONFIG_MEM_POOL_SPLIT_BEFORE_DEFRAG=y
# CONFIG_MEM_POOL_DEFRAG_BEFORE_SPLIT is not set
# CONFIG_MEM_POOL_SPLIT_ONLY is not set
CONFIG_HEAP_MEM_POOL_SIZE=0
CONFIG_ARCH_HAS_CUSTOM_SWAP_TO_MAIN=y
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_EXISTS=y
# CONFIG_INIT_STACKS is not set
# CONFIG_RING_BUFFER is not set

#
# Initialization Priorities
#
CONFIG_KERNEL_INIT_PRIORITY_OBJECTS=30
CONFIG_KERNEL_INIT_PRIORITY_DEFAULT=40
CONFIG_KERNEL_INIT_PRIORITY_DEVICE=50
CONFIG_APPLICATION_INIT_PRIORITY=90
# CONFIG_PTHREAD_IPC is not set

#
# Security Options
#
# CONFIG_STACK_CANARIES is not set
# CONFIG_KERNEL_EVENT_LOGGER is not set
# CONFIG_SYS_POWER_MANAGEMENT is not set
CONFIG_HAS_DTS=y
# CONFIG_HAS_DTS_I2C is not set

#
# Device Drivers
#
# CONFIG_IEEE802154 is not set

#
# IEEE 802.15.4 drivers options
#
CONFIG_CONSOLE=y
CONFIG_CONSOLE_INPUT_MAX_LINE_LEN=128
CONFIG_CONSOLE_HAS_DRIVER=y
# CONFIG_CONSOLE_HANDLER is not set
CONFIG_UART_CONSOLE=y
CONFIG_UART_CONSOLE_INIT_PRIORITY=60
# CONFIG_UART_CONSOLE_DEBUG_SERVER_HOOKS is not set
# CONFIG_USB_UART_CONSOLE is not set
# CONFIG_RAM_CONSOLE is not set
# CONFIG_IPM_CONSOLE_SENDER is not set
# CONFIG_IPM_CONSOLE_RECEIVER is not set
# CONFIG_UART_PIPE is not set
# CONFIG_TELNET_CONSOLE is not set

#
# Ethernet Drivers
#
# CONFIG_SLIP is not set
CONFIG_SERIAL=y

#
# Capabilities
#
CONFIG_SERIAL_HAS_DRIVER=y
CONFIG_SERIAL_SUPPORT_INTERRUPT=y
# CONFIG_UART_INTERRUPT_DRIVEN is not set
# CONFIG_UART_LINE_CTRL is not set
# CONFIG_UART_DRV_CMD is not set

#
# Serial Drivers
#
# CONFIG_UART_NS16550 is not set
CONFIG_UART_STELLARIS=y
CONFIG_UART_STELLARIS_PORT_0=y
CONFIG_UART_STELLARIS_PORT_1=y
CONFIG_UART_STELLARIS_PORT_2=y
# CONFIG_UART_ALTERA_JTAG is not set

#
# Interrupt Controllers
#

#
# Timer Drivers
#
CONFIG_CORTEX_M_SYSTICK=y
# CONFIG_SYSTEM_CLOCK_DISABLE is not set
# CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME is not set
CONFIG_SYSTEM_CLOCK_INIT_PRIORITY=0
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_GROVE is not set
# CONFIG_GPIO is not set
# CONFIG_SHARED_IRQ is not set
CONFIG_SPI_LEGACY_API=y
# CONFIG_SPI is not set
# CONFIG_I2C is not set
# CONFIG_I2S is not set
# CONFIG_PWM is not set
# CONFIG_PINMUX is not set
# CONFIG_ADC is not set
# CONFIG_RTC is not set
# CONFIG_WATCHDOG is not set
# CONFIG_CLOCK_CONTROL is not set
# CONFIG_IPM is not set
# CONFIG_AIO_COMPARATOR is not set
# CONFIG_FLASH is not set
# CONFIG_SENSOR is not set
# CONFIG_COUNTER is not set
# CONFIG_DMA is not set
# CONFIG_USB is not set
# CONFIG_CRYPTO is not set

#
# Compile and Link Features
#

#
# Linker Options
#
CONFIG_HAS_FLASH_LOAD_OFFSET=y
CONFIG_TEXT_SECTION_OFFSET=0
# CONFIG_HAVE_CUSTOM_LINKER_SCRIPT is not set
# CONFIG_CUSTOM_RODATA_LD is not set
# CONFIG_CUSTOM_RWDATA_LD is not set
# CONFIG_CUSTOM_SECTIONS_LD is not set
# CONFIG_LINK_WHOLE_ARCHIVE is not set

#
# Compiler Options
#
CONFIG_CROSS_COMPILE=""
CONFIG_COMPILER_OPT=""
# CONFIG_GDB_INFO is not set
CONFIG_KERNEL_BIN_NAME="zephyr"

#
# System Monitoring Options
#
# CONFIG_PERFORMANCE_METRICS is not set

#
# Boot Options
#
# CONFIG_IS_BOOTLOADER is not set
# CONFIG_REBOOT is not set

#
# Cryptography
#

#
# C Library
#
# CONFIG_NEWLIB_LIBC is not set

#
# Additional libraries
#
# CONFIG_JSON_LIBRARY is not set

#
# Bluetooth
#
# CONFIG_BT is not set

#
# Console (pull-style)
#
# CONFIG_CONSOLE_PULL is not set
# CONFIG_CPLUSPLUS is not set

#
# Debugging Options
#
# CONFIG_DEBUG is not set
# CONFIG_STACK_USAGE is not set
# CONFIG_STACK_SENTINEL is not set
CONFIG_PRINTK=y
# CONFIG_STDOUT_CONSOLE is not set
CONFIG_EARLY_CONSOLE=y
# CONFIG_ASSERT is not set
# CONFIG_DEBUG_TRACING_KERNEL_OBJECTS is not set
# CONFIG_OBJECT_TRACING is not set
# CONFIG_OVERRIDE_FRAME_POINTER_DEFAULT is not set
# CONFIG_OPENOCD_SUPPORT is not set

#
# Disk
#
# CONFIG_DISK_ACCESS is not set

#
# File System
#
# CONFIG_FILE_SYSTEM is not set

#
# Logging Options
#
# CONFIG_SYS_LOG is not set

#
# Networking
#
# CONFIG_NET_BUF is not set
# CONFIG_NETWORKING is not set
# CONFIG_CONSOLE_SHELL is not set

#
# External Sources
#

#
# HALs
#
CONFIG_HAS_CMSIS=y

#
# Cryptography
#
# CONFIG_TINYCRYPT is not set
# CONFIG_MBEDTLS is not set

#
# File Systems
#

#
# Debug libraries
#
# CONFIG_HAS_SEGGER_RTT is not set
# CONFIG_HAS_SEGGER_SYSTEMVIEW is not set

#
# Testing
#
# CONFIG_ZTEST is not set
CONFIG_TEST_EXTRA_STACKSIZE=0
# CONFIG_SOC_FAMILY_SAM is not set
# CONFIG_SOC_FAMILY_RISCV_PRIVILEGE is not set