| # Copyright (c) 2018-2021 Linaro Limited |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| if BOARD_MPS3_AN547 |
| |
| config BOARD |
| default "mps3_an547" |
| |
| # MPU-based null-pointer dereferencing detection cannot |
| # be applied as the (0x0 - 0x400) is unmapped but QEMU |
| # will still permit bus access. |
| choice NULL_POINTER_EXCEPTION_DETECTION |
| bool |
| default NULL_POINTER_EXCEPTION_DETECTION_NONE if QEMU_TARGET |
| endchoice |
| |
| if SERIAL |
| |
| config UART_CMSDK_APB |
| default y |
| |
| config UART_INTERRUPT_DRIVEN |
| default y |
| |
| endif # SERIAL |
| |
| config I2C_SBCON |
| default y |
| depends on I2C |
| |
| endif |
