# SPDX-License-Identifier: Apache-2.0
#
# Copyright (c) 2023 Antmicro <www.antmicro.com>

if SOC_SERIES_APOLLO4X

rsource "Kconfig.defconfig.apollo4*"

# Need to enlarge the IDLE stack size because the power
# management operations are executed in the idle task
config IDLE_STACK_SIZE
	default 2048 if PM

endif # SOC_SERIES_APOLLO4X