1# SPDX-License-Identifier: Apache-2.0 2 3CONFIG_ARM_MPU=y 4CONFIG_SOC_SERIES_EFR32MG12P=y 5CONFIG_BOARD_EFR32_RADIO_BRD4170A=y 6CONFIG_CONSOLE=y 7CONFIG_UART_CONSOLE=y 8CONFIG_SERIAL=y 9CONFIG_GPIO=y 10CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=38400000 11CONFIG_CMU_HFCLK_HFXO=y 12CONFIG_SOC_GECKO_EMU_DCDC=y 13CONFIG_SOC_GECKO_EMU_DCDC_MODE_ON=y 14