1# EFM32PG STK3401A board
2
3# Copyright (c) 2020, Rafael Dias Menezes <rdmeneze@gmail.com>
4# SPDX-License-Identifier: Apache-2.0
5
6if BOARD_EFM32PG_STK3401A
7
8config BOARD
9	default "efm32pg_stk3401a" if BOARD_EFM32PG_STK3401A
10
11config CMU_HFXO_FREQ
12	default 40000000
13
14config CMU_LFXO_FREQ
15	default 32768
16
17config COUNTER_GECKO_RTCC
18	default y
19	depends on COUNTER
20
21endif # BOARD_EFM32PG_STK3401A
22