| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_SOC_SERIES_EFR32MG24=y | |
| CONFIG_BOARD_EFR32_RADIO_BRD4187C=y | |
| CONFIG_ARM_MPU=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_GPIO=y | |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=78000000 | |
| CONFIG_SOC_GECKO_EMU_DCDC=y | |
| CONFIG_SOC_GECKO_EMU_DCDC_MODE_ON=y | |
| # Use BURTC as system clock source | |
| CONFIG_GECKO_BURTC_TIMER=y | |
| CONFIG_CMU_BURTCCLK_LFXO=y | |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=1024 |