1# Copyright (c) 2023 Antmicro <www.antmicro.com>
2# SPDX-License-Identifier: Apache-2.0
3
4config CMU_HFXO_FREQ
5	default 38400000
6
7config CMU_LFXO_FREQ
8	default 32768
9
10if SOC_GECKO_USE_RAIL
11
12config FPU
13	default y
14
15endif # SOC_GECKO_USE_RAIL
16
17if BT
18
19config FPU
20	default y
21
22config COMMON_LIBC_MALLOC_ARENA_SIZE
23	default 8192
24
25config MAIN_STACK_SIZE
26	default 3072 if PM
27	default 2304
28
29endif # BT
30
31config REGULATOR
32	default y if SI7210
33