| # EFM32PG STK3401A board | |
| # Copyright (c) 2020, Rafael Dias Menezes <rdmeneze@gmail.com> | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if BOARD_EFM32PG_STK3401A | |
| config BOARD | |
| default "efm32pg_stk3401a" if BOARD_EFM32PG_STK3401A | |
| config CMU_HFXO_FREQ | |
| default 40000000 | |
| config CMU_LFXO_FREQ | |
| default 32768 | |
| config COUNTER_GECKO_RTCC | |
| default y | |
| depends on COUNTER | |
| endif # BOARD_EFM32PG_STK3401A |