1# Copyright (c) 2018-2021 Linaro Limited
2# Copyright 2024 Arm Limited and/or its affiliates <open-source-office@arm.com>
3# SPDX-License-Identifier: Apache-2.0
4
5if BOARD_MPS3_CORSTONE300_AN547 || BOARD_MPS3_CORSTONE300_AN552 || BOARD_MPS3_CORSTONE300_FVP || BOARD_MPS3_CORSTONE310_AN555 || BOARD_MPS3_CORSTONE310_FVP
6
7# MPU-based null-pointer dereferencing detection cannot
8# be applied as the (0x0 - 0x400) is unmapped but QEMU
9# will still permit bus access.
10choice NULL_POINTER_EXCEPTION_DETECTION
11	bool
12	default NULL_POINTER_EXCEPTION_DETECTION_NONE if QEMU_TARGET
13endchoice
14
15if SERIAL
16
17config UART_INTERRUPT_DRIVEN
18	default y
19
20endif # SERIAL
21
22endif
23