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