Serial output of faulty program

serial_output.txt

[exati-watchdog] [DBG] watchdog_init: [34m-------------=============Watchdog thread scheduled (tid 0x20002194)=============-------------[0m
[exati-firmware-main] [DBG] main: thread 0x20001db0
[exati-firmware-main] [DBG] main: +---------------------------------
[exati-firmware-main] [DBG] main: |[32m Firmware version: [0m
[exati-firmware-main] [DBG] main: +---------------------------------
[exati-firmware-main] [DBG] main: 3. Initializing net_stack...
[exati-net-stack] [DBG] net_stack_init: Protocol initialized.
0 0 163
(211977 collapsed lines, equal to 0 0 163)
0 0 163
[exati-watchdog] [DBG] watchdog_init: [34m-------------=============Watchdog thread scheduled (tid 0x20002194)=============-------------[0m
[exati-firmware-main] [DBG] main: 3. Initializing net_stack...
[exati-net-stack] [DBG] net_stack_init: Protocol initialized.
7081 7081 163
7081 7124 163
(a lot of lines omitted -- k_busy_wait is working properly)
17881 21180 3276
[exati-net-stack] [DBG] net_stack_init: Radio initialized.

[exati-firmware-main] [DBG] main: Finished initialization.

[exati-watchdog] [DBG] check_watchdog: [34m-------------=============Watchdog thread created=============-------------[0m
[exati-watchdog] [WRN] wdt_init: [0;33m190000: 6208820 or 6208820[0m

** Runs normally after

thread.c

void k_busy_wait(u32_t usec_to_wait)
{
#if defined(CONFIG_TICKLESS_KERNEL) && \
	    !defined(CONFIG_BUSY_WAIT_USES_ALTERNATE_CLOCK)
int saved_always_on = k_enable_sys_clock_always_on();
#endif
	/* use 64-bit math to prevent overflow when multiplying */
	u32_t cycles_to_wait = (u32_t)(
		(u64_t)usec_to_wait *
		(u64_t)sys_clock_hw_cycles_per_sec /
		(u64_t)USEC_PER_SEC
	);
	u32_t start_cycles = k_cycle_get_32();

	for (;;) {
		u32_t current_cycles = k_cycle_get_32();
		printk("%d %d %d\n", start_cycles, current_cycles, cycles_to_wait);

		/* this handles the rollover on an unsigned 32-bit value */
		if ((current_cycles - start_cycles) >= cycles_to_wait) {
			break;
		}
	}
#if defined(CONFIG_TICKLESS_KERNEL) && \
	    !defined(CONFIG_BUSY_WAIT_USES_ALTERNATE_CLOCK)
	_sys_clock_always_on = saved_always_on;
#endif
}

z.config

#
# 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=y
# 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="nRF52832_QFAA"
CONFIG_SOC_SERIES="nrf52"
CONFIG_SOC_FAMILY="nordic_nrf5"
CONFIG_BOARD="nrf52_pca10040"
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=y
CONFIG_CPU_HAS_FPU=y
CONFIG_DATA_ENDIANNESS_LITTLE=y
CONFIG_NUM_IRQS=39
CONFIG_FAULT_DUMP=2
# CONFIG_IRQ_OFFLOAD is not set
CONFIG_XIP=y
# CONFIG_FLOAT is not set
# CONFIG_MPU_STACK_GUARD is not set
# 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=y
# 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 is not set
# 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 is not set

#
# Floating Point Options
#
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_M4=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
CONFIG_ARM_CORE_MPU=y
CONFIG_ARM_MPU=y
# CONFIG_MPU_ALLOW_FLASH_WRITE is not set

#
# Board Configuration
#
# CONFIG_SOC_FAMILY_ARM is not set
# CONFIG_ARM_MPU_ENABLE is not set
CONFIG_SOC_FAMILY_NRF5=y
CONFIG_SOC_NRF52832=y
CONFIG_SOC_NRF52832_QFAA=y
# CONFIG_SOC_NRF52840_QIAA is not set
CONFIG_ARM_MPU_NRF52X=y
# 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_HAS_SYSMPU is not set
# CONFIG_SOC_FAMILY_STM32 is not set
# CONFIG_STM32_ARM_MPU_ENABLE is not set
# CONFIG_SOC_FAMILY_TISIMPLELINK is not set
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=32768
CONFIG_TOOLCHAIN_VARIANT=""
# CONFIG_QEMU_TARGET is not set
# CONFIG_BOARD_96B_NITROGEN is not set
# CONFIG_BOARD_NRF52_BLENANO2 is not set
CONFIG_BOARD_NRF52_PCA10040=y
# CONFIG_BOARD_NRF52_VBLUNO52 is not set
# CONFIG_BOARD_XT_SIM is not set

#
# Board Options
#
CONFIG_GPIO_AS_PINRESET=y

#
# 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=320
CONFIG_ISR_STACK_SIZE=2048
CONFIG_THREAD_STACK_INFO=y
# 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 is not set
CONFIG_BOOT_DELAY=0
# CONFIG_BUILD_TIMESTAMP is not set
# CONFIG_EXECUTION_BENCHMARKING is not set
CONFIG_THREAD_MONITOR=y

#
# Work Queue Options
#
CONFIG_SYSTEM_WORKQUEUE_STACK_SIZE=3000
CONFIG_SYSTEM_WORKQUEUE_PRIORITY=-1
CONFIG_OFFLOAD_WORKQUEUE_STACK_SIZE=3000
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=16384
CONFIG_ARCH_HAS_CUSTOM_SWAP_TO_MAIN=y
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
CONFIG_SYS_CLOCK_EXISTS=y
CONFIG_INIT_STACKS=y
# 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=y
# CONFIG_SYS_POWER_LOW_POWER_STATE is not set
# CONFIG_DEVICE_POWER_MANAGEMENT is not set
CONFIG_TICKLESS_IDLE=y
CONFIG_TICKLESS_IDLE_THRESH=3
# CONFIG_TICKLESS_KERNEL is not set
# CONFIG_BUSY_WAIT_USES_ALTERNATE_CLOCK 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_SYS_LOG_IEEE802154_DRIVER_LEVEL=0
# CONFIG_IEEE802154_MCR20A_RAW is not set
CONFIG_CONSOLE=y
CONFIG_CONSOLE_INPUT_MAX_LINE_LEN=128
CONFIG_CONSOLE_HAS_DRIVER=y
CONFIG_CONSOLE_HANDLER=y
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=y
# 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 is not set
CONFIG_UART_NRF5=y
CONFIG_UART_NRF5_CLK_FREQ=16000000
# CONFIG_UART_NRF5_FLOW_CONTROL is not set
CONFIG_UART_NRF5_GPIO_TX_PIN=6
CONFIG_UART_NRF5_GPIO_RX_PIN=8
CONFIG_UART_NRF5_GPIO_RTS_PIN=5
CONFIG_UART_NRF5_GPIO_CTS_PIN=7
# CONFIG_UART_ALTERA_JTAG is not set

#
# Interrupt Controllers
#

#
# Timer Drivers
#
CONFIG_NRF_RTC_TIMER=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=y
# CONFIG_RANDOM_STM32_RNG is not set
# CONFIG_RANDOM_HAS_DRIVER is not set
CONFIG_RANDOM_NAME="RANDOM_0"
CONFIG_SYS_LOG_RANDOM_LEVEL=0
CONFIG_TEST_RANDOM_GENERATOR=y
CONFIG_TIMER_RANDOM_GENERATOR=y
# CONFIG_GROVE is not set
CONFIG_GPIO=y
CONFIG_SYS_LOG_GPIO_LEVEL=0
# CONFIG_GPIO_DW is not set
# CONFIG_GPIO_SCH is not set
# CONFIG_GPIO_MMIO32 is not set
CONFIG_GPIO_NRF5=y
CONFIG_GPIO_NRF5_P0=y
CONFIG_GPIO_NRF5_P0_DEV_NAME="GPIO_0"
CONFIG_GPIO_NRF5_PORT_P0_PRI=1
# CONFIG_SHARED_IRQ is not set
CONFIG_SPI_LEGACY_API=y
CONFIG_SPI=y
CONFIG_SPI_INIT_PRIORITY=70
CONFIG_SYS_LOG_SPI_LEVEL=1
# CONFIG_SPI_CS_GPIO is not set
CONFIG_SPI_0=y
CONFIG_SPI_0_NAME="SPI_0"
CONFIG_SPI_0_IRQ_PRI=0
CONFIG_SPI_0_DEFAULT_CFG=0x80
CONFIG_SPI_0_DEFAULT_BAUD_RATE=500000
CONFIG_SPI_1=y
CONFIG_SPI_1_NAME="SPI_1"
CONFIG_SPI_1_IRQ_PRI=0
CONFIG_SPI_1_DEFAULT_CFG=0x80
CONFIG_SPI_1_DEFAULT_BAUD_RATE=500000
# CONFIG_SPI_2 is not set
# CONFIG_SPI_3 is not set
# CONFIG_SPI_DW is not set
CONFIG_SPI_NRF5=y
CONFIG_SPIM0_NRF52=y
# CONFIG_SPIS0_NRF52 is not set
CONFIG_SPIM0_NRF52_GPIO_SCK_PIN=17
CONFIG_SPIM0_NRF52_GPIO_MOSI_PIN=16
CONFIG_SPIM0_NRF52_GPIO_MISO_PIN=15
CONFIG_SPIM0_NRF52_GPIO_SS_PIN_0=7
CONFIG_SPIM0_NRF52_GPIO_SS_PIN_1=14
CONFIG_SPIM0_NRF52_GPIO_SS_PIN_2=255
CONFIG_SPIM0_NRF52_GPIO_SS_PIN_3=255
CONFIG_SPIM0_NRF52_ORC=0x00
CONFIG_SPIM1_NRF52=y
# CONFIG_SPIS1_NRF5 is not set
CONFIG_SPIM1_NRF52_GPIO_SCK_PIN=28
CONFIG_SPIM1_NRF52_GPIO_MOSI_PIN=30
CONFIG_SPIM1_NRF52_GPIO_MISO_PIN=29
CONFIG_SPIM1_NRF52_GPIO_SS_PIN_0=255
CONFIG_SPIM1_NRF52_GPIO_SS_PIN_1=255
CONFIG_SPIM1_NRF52_GPIO_SS_PIN_2=255
CONFIG_SPIM1_NRF52_GPIO_SS_PIN_3=255
CONFIG_SPIM1_NRF52_ORC=0x00
CONFIG_SPIM_NRF52=y
# CONFIG_I2C is not set
# CONFIG_I2S is not set
CONFIG_PWM=y
CONFIG_SYS_LOG_PWM_LEVEL=0
# CONFIG_PWM_0 is not set
# CONFIG_PWM_1 is not set
# CONFIG_PWM_2 is not set
# CONFIG_PWM_3 is not set
# CONFIG_PWM_DW is not set
CONFIG_PWM_NRF5_SW=y
CONFIG_PWM_NRF5_SW_0_DEV_NAME="PWM_0"
# CONFIG_PINMUX is not set
# CONFIG_ADC is not set
# CONFIG_RTC is not set
# CONFIG_WATCHDOG is not set
CONFIG_CLOCK_CONTROL=y
CONFIG_SYS_LOG_CLOCK_CONTROL_LEVEL=0
CONFIG_CLOCK_CONTROL_NRF5=y
CONFIG_CLOCK_CONTROL_NRF5_IRQ_PRIORITY=1
CONFIG_CLOCK_CONTROL_NRF5_M16SRC_DRV_NAME="clk_m16src"
CONFIG_CLOCK_CONTROL_NRF5_K32SRC_DRV_NAME="clk_k32src"
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_RC is not set
CONFIG_CLOCK_CONTROL_NRF5_K32SRC_XTAL=y
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_500PPM is not set
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_250PPM is not set
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_150PPM is not set
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_100PPM is not set
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_75PPM is not set
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_50PPM is not set
# CONFIG_CLOCK_CONTROL_NRF5_K32SRC_30PPM is not set
CONFIG_CLOCK_CONTROL_NRF5_K32SRC_20PPM=y
# CONFIG_IPM is not set
# CONFIG_AIO_COMPARATOR is not set
# CONFIG_FLASH is not set
CONFIG_SENSOR=y
CONFIG_SYS_LOG_SENSOR_LEVEL=0
CONFIG_SENSOR_INIT_PRIORITY=90
# CONFIG_ADXL362 is not set
# CONFIG_BME280 is not set
# CONFIG_BMI160 is not set
# CONFIG_DHT is not set
# CONFIG_LIS2DH is not set
# CONFIG_TEMP_NRF5 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=y
CONFIG_BT_HCI=y
# CONFIG_BT_CUSTOM is not set
# CONFIG_BT_HCI_RAW is not set
# CONFIG_BT_PERIPHERAL is not set
# CONFIG_BT_CENTRAL is not set

#
# Broadcaster
#
CONFIG_BT_BROADCASTER=y

#
# Observer
#
# CONFIG_BT_OBSERVER is not set
# CONFIG_BT_RPA is not set
CONFIG_BT_DEBUG_NONE=y
# CONFIG_BT_DEBUG_LOG is not set
# CONFIG_BT_DEBUG_MONITOR is not set

#
# Host Stack Configuration
#
CONFIG_BT_HCI_HOST=y
CONFIG_BT_HCI_CMD_COUNT=2
CONFIG_BT_RX_BUF_COUNT=3
CONFIG_BT_RX_BUF_LEN=76
CONFIG_BT_HCI_TX_STACK_SIZE=640
CONFIG_BT_HCI_TX_PRIO=7
# CONFIG_BT_WAIT_NOP is not set
CONFIG_BT_HCI_RESERVE=0
CONFIG_BT_RECV_IS_RX_THREAD=y
CONFIG_BT_RX_STACK_SIZE=1024
CONFIG_BT_RX_PRIO=8
# CONFIG_BT_MESH is not set
CONFIG_BT_DEVICE_NAME="Zephyr"
CONFIG_BT_DEVICE_APPEARANCE=0
# CONFIG_BT_TINYCRYPT_ECC is not set
# CONFIG_BT_BREDR is not set

#
# BLE Controller support
#
CONFIG_BT_CTLR=y
CONFIG_BT_LL_SW=y

#
# BLE Controller configuration
#
CONFIG_BT_CTLR_RX_BUFFERS=1
CONFIG_BT_CTLR_TX_BUFFERS=2
CONFIG_BT_CTLR_TX_BUFFER_SIZE=27
CONFIG_BT_CTLR_COMPANY_ID=0xFFFF
CONFIG_BT_CTLR_SUBVERSION_NUMBER=0xFFFF
CONFIG_BT_CTLR_RX_PRIO_STACK_SIZE=448
CONFIG_BT_CTLR_RX_PRIO=6

#
# BLE Controller features
#
CONFIG_BT_CTLR_CHAN_SEL_2=y
CONFIG_BT_CTLR_ADV_EXT=y
# CONFIG_BT_CTLR_ADVANCED_FEATURES is not set
CONFIG_BT_CTLR_WORKER_PRIO=0
CONFIG_BT_CTLR_JOB_PRIO=0
CONFIG_BT_CTLR_XTAL_ADVANCED=y
CONFIG_BT_CTLR_XTAL_THRESHOLD=5168
CONFIG_BT_CTLR_SCHED_ADVANCED=y
CONFIG_BT_CTLR_TIFS_HW=y
CONFIG_BT_CTLR_SCAN_REQ_NOTIFY=y

#
# BLE Controller debug configuration
#
# CONFIG_BT_CTLR_PROFILE_ISR is not set
# CONFIG_BT_CTLR_DEBUG_PINS is not set
# CONFIG_BT_SHELL is not set

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

#
# Debugging Options
#
CONFIG_DEBUG=y
# CONFIG_STACK_USAGE is not set
# CONFIG_STACK_SENTINEL is not set
CONFIG_PRINTK=y
CONFIG_STDOUT_CONSOLE=y
# CONFIG_EARLY_CONSOLE is not set
# CONFIG_ASSERT is not set
# CONFIG_DEBUG_TRACING_KERNEL_OBJECTS is not set
CONFIG_OBJECT_TRACING=y
# 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=y
CONFIG_SYS_LOG_SHOW_TAGS=y
CONFIG_SYS_LOG_SHOW_COLOR=y
CONFIG_SYS_LOG_DEFAULT_LEVEL=4
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 is not set
CONFIG_CONSOLE_SHELL=y
CONFIG_CONSOLE_SHELL_STACKSIZE=2000
CONFIG_CONSOLE_SHELL_MAX_CMD_QUEUED=3
CONFIG_KERNEL_SHELL=y

#
# External Sources
#

#
# HALs
#
CONFIG_HAS_CMSIS=y
CONFIG_HAS_NORDIC_MDK=y
CONFIG_HAS_NORDIC_HAL=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