# 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