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

#
# General Architecture Options
#
# CONFIG_SIMPLE_FATAL_ERROR_HANDLER is not set

#
# Interrupt Configuration
#
CONFIG_GEN_ISR_TABLES=y
CONFIG_GEN_IRQ_VECTOR_TABLE=y
CONFIG_GEN_SW_ISR_TABLE=y
CONFIG_GEN_IRQ_START_VECTOR=0
# 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_ARCH="arm"
CONFIG_SOC="ti_lm3s6965"
CONFIG_BOARD="qemu_cortex_m3"
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_IMX_RT 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_EFM32WG is not set
CONFIG_SOC_TI_LM3S6965=y
# CONFIG_SOC_SERIES_CC2650 is not set
# CONFIG_SOC_SERIES_CC32XX is not set
# CONFIG_SOC_SERIES_MSP432P4XX 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_SAM is not set
# CONFIG_SOC_FAMILY_NRF5 is not set
# CONFIG_SOC_FAMILY_IMX is not set
# CONFIG_SOC_FAMILY_KINETIS is not set
# CONFIG_HAS_OSC is not set
# CONFIG_HAS_MCG is not set
# CONFIG_SOC_FAMILY_EXX32 is not set
# CONFIG_HAS_CMU 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

#
# 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=2048
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=1000
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=y

#
# Other Kernel Object Options
#
CONFIG_NUM_MBOX_ASYNC_MSGS=10
CONFIG_NUM_PIPE_ASYNC_MSGS=10

#
# 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_HAS_DTS=y
# CONFIG_HAS_DTS_I2C is not set

#
# Device Drivers
#
CONFIG_IEEE802154=y

#
# IEEE 802.15.4 drivers options
#
CONFIG_SYS_LOG_IEEE802154_DRIVER_LEVEL=0
# CONFIG_IEEE802154_RAW_MODE is not set
# CONFIG_IEEE802154_CC2520 is not set
# CONFIG_IEEE802154_KW41Z is not set
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_NET_LOOPBACK 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_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_ENTROPY_GENERATOR=y
# CONFIG_ENTROPY_NRF5_RNG is not set
# CONFIG_ENTROPY_HAS_DRIVER is not set
CONFIG_ENTROPY_NAME="ENTROPY_0"
CONFIG_SYS_LOG_ENTROPY_LEVEL=0
# 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
# CONFIG_LED_STRIP is not set

#
# Compile and Link Features
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
CONFIG_KERNEL_ENTRY="__start"

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

#
# 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
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 Systems
#
# CONFIG_FILE_SYSTEM is not set

#
# Logging Options
#
CONFIG_SYS_LOG=y
CONFIG_SYS_LOG_SHOW_TAGS=y
CONFIG_SYS_LOG_SHOW_COLOR=y
CONFIG_SYS_LOG_DEFAULT_LEVEL=0
CONFIG_SYS_LOG_OVERRIDE_LEVEL=0
# CONFIG_SYS_LOG_EXT_HOOK is not set

#
# Networking
#
CONFIG_NET_BUF=y
# CONFIG_NET_BUF_LOG is not set
# CONFIG_NET_BUF_POOL_USAGE is not set
CONFIG_NETWORKING=y
# CONFIG_NET_HOSTNAME_ENABLE is not set

#
# IP stack
#
# CONFIG_NET_RAW_MODE is not set
CONFIG_NET_INIT_PRIO=90
CONFIG_NET_LOG=y
CONFIG_SYS_LOG_NET_LEVEL=1
# CONFIG_NET_LOG_GLOBAL is not set
# CONFIG_NET_DEBUG_CORE is not set
# CONFIG_NET_DEBUG_IF is not set
# CONFIG_NET_DEBUG_UTILS is not set
CONFIG_NET_IPV6=y
CONFIG_NET_IF_UNICAST_IPV6_ADDR_COUNT=2
CONFIG_NET_IF_MCAST_IPV6_ADDR_COUNT=3
CONFIG_NET_IF_IPV6_PREFIX_COUNT=2
CONFIG_NET_INITIAL_HOP_LIMIT=64
CONFIG_NET_IPV6_MAX_NEIGHBORS=8
# CONFIG_NET_IPV6_FRAGMENT is not set
CONFIG_NET_IPV6_MLD=y
CONFIG_NET_IPV6_NBR_CACHE=y
CONFIG_NET_IPV6_ND=y
CONFIG_NET_IPV6_DAD=y
CONFIG_NET_IPV6_RA_RDNSS=y
CONFIG_NET_6LO=y
# CONFIG_NET_6LO_CONTEXT is not set
# CONFIG_NET_DEBUG_6LO is not set
CONFIG_NET_DEBUG_IPV6=y
# CONFIG_NET_DEBUG_ICMPV6 is not set
# CONFIG_NET_DEBUG_IPV6_NBR_CACHE is not set
# CONFIG_NET_IPV4 is not set
# CONFIG_NET_SHELL is not set
CONFIG_NET_IP_ADDR_CHECK=y
CONFIG_NET_MAX_ROUTERS=1
CONFIG_NET_ROUTE=y
CONFIG_NET_MAX_ROUTES=8
CONFIG_NET_MAX_NEXTHOPS=8
# CONFIG_NET_ROUTE_MCAST is not set
# CONFIG_NET_TCP is not set
CONFIG_NET_UDP=y
CONFIG_NET_UDP_CHECKSUM=y
# CONFIG_NET_DEBUG_UDP is not set
CONFIG_NET_MAX_CONN=4
# CONFIG_NET_CONN_CACHE is not set
CONFIG_NET_MAX_CONTEXTS=6
# CONFIG_NET_CONTEXT_NET_PKT_POOL is not set
CONFIG_NET_CONTEXT_SYNC_RECV=y
CONFIG_NET_CONTEXT_CHECK=y
CONFIG_NET_TEST=y
# CONFIG_NET_SLIP_TAP is not set
# CONFIG_NET_TRICKLE is not set
CONFIG_NET_PKT_RX_COUNT=5
CONFIG_NET_PKT_TX_COUNT=5
CONFIG_NET_BUF_RX_COUNT=10
CONFIG_NET_BUF_TX_COUNT=10
CONFIG_NET_BUF_DATA_SIZE=125
CONFIG_NET_BUF_USER_DATA_SIZE=0
CONFIG_NET_TX_STACK_SIZE=1200
CONFIG_NET_RX_STACK_SIZE=1500
CONFIG_NET_RX_STACK_RPL=0

#
# Link layer options
#
CONFIG_NET_L2_DUMMY=y
# CONFIG_NET_L2_ETHERNET is not set
# CONFIG_NET_DEBUG_L2_ETHERNET is not set
# CONFIG_NET_OFFLOAD is not set
# CONFIG_NET_L2_BT is not set
# CONFIG_NET_L2_BT_SHELL is not set
CONFIG_NET_L2_IEEE802154=y
CONFIG_NET_L2_IEEE802154_MGMT=y
CONFIG_NET_DEBUG_L2_IEEE802154=y
# CONFIG_NET_DEBUG_L2_IEEE802154_DISPLAY_PACKET is not set
CONFIG_NET_L2_IEEE802154_ACK_REPLY=y
CONFIG_NET_L2_IEEE802154_RFD=y
# CONFIG_NET_L2_IEEE802154_SHELL is not set
CONFIG_NET_L2_IEEE802154_FRAGMENT=y
CONFIG_NET_L2_IEEE802154_FRAGMENT_REASS_CACHE_SIZE=1
CONFIG_NET_L2_IEEE802154_REASSEMBLY_TIMEOUT=5
# CONFIG_NET_DEBUG_L2_IEEE802154_FRAGMENT is not set
CONFIG_NET_L2_IEEE802154_SECURITY=y
CONFIG_NET_L2_IEEE802154_SECURITY_CRYPTO_DEV_NAME=""

#
# IEEE 802.15.4 Radio
#
CONFIG_NET_L2_IEEE802154_RADIO_DFLT_TX_POWER=0
CONFIG_NET_L2_IEEE802154_RADIO_TX_RETRIES=3
CONFIG_NET_L2_IEEE802154_RADIO_CSMA_CA=y
# CONFIG_NET_L2_IEEE802154_RADIO_ALOHA is not set
CONFIG_NET_L2_IEEE802154_RADIO_CSMA_CA_MAX_BO=4
CONFIG_NET_L2_IEEE802154_RADIO_CSMA_CA_MIN_BE=3
CONFIG_NET_L2_IEEE802154_RADIO_CSMA_CA_MAX_BE=5
CONFIG_NET_MGMT=y
CONFIG_NET_MGMT_EVENT=y
CONFIG_NET_MGMT_EVENT_STACK_SIZE=512
CONFIG_NET_MGMT_EVENT_THREAD_PRIO=7
CONFIG_NET_MGMT_EVENT_QUEUE_SIZE=2
# CONFIG_NET_MGMT_EVENT_INFO is not set
# CONFIG_NET_DEBUG_MGMT_EVENT is not set
# CONFIG_NET_DEBUG_MGMT_EVENT_STACK is not set
# CONFIG_NET_RPL is not set
# CONFIG_NET_STATISTICS is not set
CONFIG_NET_APP=y
CONFIG_NET_APP_AUTO_INIT=y
CONFIG_NET_APP_INIT_PRIO=95
CONFIG_NET_APP_INIT_TIMEOUT=30
# CONFIG_NET_APP_NEED_IPV6 is not set
# CONFIG_NET_APP_NEED_IPV6_ROUTER is not set
# CONFIG_NET_APP_NEED_IPV4 is not set
# CONFIG_NET_DEBUG_APP is not set
# CONFIG_NET_APP_SERVER is not set
# CONFIG_NET_APP_CLIENT is not set
# CONFIG_NET_APP_DTLS is not set
# CONFIG_NET_APP_SETTINGS is not set
# CONFIG_NET_SOCKETS is not set
# CONFIG_CONSOLE_SHELL is not set

#
# DFU options
#
# CONFIG_IMG_MANAGER is not set
CONFIG_TEST_RANDOM_GENERATOR=y
CONFIG_TIMER_RANDOM_GENERATOR=y

#
# External Sources
#

#
# HALs
#
CONFIG_HAS_CMSIS=y

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

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

#
# Testing
#
CONFIG_ZTEST=y
CONFIG_ZTEST_STACKSIZE=1024
# CONFIG_ZTEST_FAIL_FAST is not set
CONFIG_ZTEST_ASSERT_VERBOSE=1
# CONFIG_ZTEST_MOCKING is not set
CONFIG_TEST_EXTRA_STACKSIZE=0