1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2021 Nordic Semiconductor ASA
3
4config ARM_STORE_EXC_RETURN
5	bool
6	default y if ARM_NONSECURE_FIRMWARE
7	help
8	  Redefine this with looser requirements, so the EXC_RETURN value can
9	  be checked in the test. This essentially tests that the official
10	  requirements are sane.
11
12source "Kconfig.zephyr"
13