# EFM32PG STK3402A board | |
# Copyright (c) 2018, Christian Taedcke | |
# Copyright (c) 2019 Lemonbeat GmbH | |
# SPDX-License-Identifier: Apache-2.0 | |
if BOARD_EFM32PG_STK3402A || BOARD_EFM32PG_STK3402A_JG | |
config BOARD | |
default "efm32pg_stk3402a" if BOARD_EFM32PG_STK3402A | |
default "efm32pg_stk3402a_jg" if BOARD_EFM32PG_STK3402A_JG | |
config CMU_HFXO_FREQ | |
default 40000000 | |
config CMU_LFXO_FREQ | |
default 32768 | |
config COUNTER_GECKO_RTCC | |
default y | |
depends on COUNTER | |
endif # BOARD_EFM32PG_STK3402A || BOARD_EFM32PG_STK3402A_JG |