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

if SOC_XTENSA_SAMPLE_CONTROLLER32

# CONFIG_PRIVILEGED_STACK_SIZE must be aligned as specified by XCHAL_MPU_ALIGN.
# For `sample_controller32`, that value is equal to 4096
config PRIVILEGED_STACK_SIZE
	default 4096 if XTENSA_MPU

endif # SOC_XTENSA_SAMPLE_CONTROLLER32