# SPDX-License-Identifier: Apache-2.0 | |
CONFIG_ARM_MPU=y | |
CONFIG_CONSOLE=y | |
CONFIG_UART_CONSOLE=y | |
CONFIG_SERIAL=y | |
CONFIG_GPIO=y | |
CONFIG_SOC_GECKO_EMU_DCDC=y | |
CONFIG_SOC_GECKO_EMU_DCDC_MODE_ON=y | |
CONFIG_HW_STACK_PROTECTION=y | |
CONFIG_PINCTRL=y | |
# Used if SysTick is enabled, ignored for BURTC | |
# (BURTC uses TIMER_READS_ITS_FREQUENCY_AT_RUNTIME) | |
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=76800000 | |
# Use BURTC as system clock source | |
CONFIG_GECKO_BURTC_TIMER=y | |
CONFIG_CMU_BURTCCLK_LFXO=y | |
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1024 |