1# Copyright (c) 2017 Linaro Limited 2# SPDX-License-Identifier: Apache-2.0 3 4if BOARD_MPS2_AN385 5 6if SERIAL 7 8config UART_INTERRUPT_DRIVEN 9 default y 10 11endif # SERIAL 12 13config ZTEST_STACK_SIZE 14 default 4096 if ZTEST 15 16if COVERAGE_GCOV 17 18config MAIN_STACK_SIZE 19 default 4096 20 21config IDLE_STACK_SIZE 22 default 4096 23 24config PRIVILEGED_STACK_SIZE 25 default 4096 26 27config ISR_STACK_SIZE 28 default 4096 29 30config TEST_EXTRA_STACK_SIZE 31 default 4096 32 33endif # COVERAGE_GCOV 34 35endif 36 37if BOARD_MPS2_AN521_CPU0 || BOARD_MPS2_AN521_CPU0_NS || BOARD_MPS2_AN521_CPU1 38 39# MPU-based null-pointer dereferencing detection cannot 40# be applied as the (0x0 - 0x400) is unmapped but QEMU 41# will still permit bus access. 42choice NULL_POINTER_EXCEPTION_DETECTION 43 bool 44 default NULL_POINTER_EXCEPTION_DETECTION_NONE if QEMU_TARGET 45 46endchoice 47 48# By default, if we build for a Non-Secure version of the board, 49# force building with TF-M as the Secure Execution Environment. 50config BUILD_WITH_TFM 51 default y if TRUSTED_EXECUTION_NONSECURE 52 53if SERIAL 54 55config UART_INTERRUPT_DRIVEN 56 default y 57 58endif # SERIAL 59 60endif 61
