| # |
| # Copyright (c) 2018-2019 Linaro Limited |
| # |
| # SPDX-License-Identifier: Apache-2.0 |
| # |
| |
| CONFIG_ARM=y |
| CONFIG_SOC_FAMILY_ARM=y |
| CONFIG_SOC_SERIES_MPS2=y |
| CONFIG_SOC_MPS2_AN521=y |
| CONFIG_BOARD_MPS2_AN521=y |
| CONFIG_CORTEX_M_SYSTICK=y |
| CONFIG_RUNTIME_NMI=y |
| CONFIG_ARM_TRUSTZONE_M=y |
| CONFIG_ARM_MPU=y |
| |
| # GPIOs |
| CONFIG_GPIO=y |
| |
| # PinMuxing |
| CONFIG_PINMUX=y |
| |
| # Serial |
| CONFIG_CONSOLE=y |
| CONFIG_UART_CONSOLE=y |
| CONFIG_SERIAL=y |
| CONFIG_UART_CMSDK_APB=y |
| |
| # Watchdog |
| CONFIG_WATCHDOG=y |
| |
| # Build a Secure firmware image |
| CONFIG_TRUSTED_EXECUTION_SECURE=y |
| |
| CONFIG_I2C=y |