| # Kconfig - ARM LTD Beetle SoC configuration options | |
| # | |
| # Copyright (c) 2016 Linaro Limited | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| choice | |
| prompt "ARM Beetle SoC" | |
| depends on SOC_SERIES_BEETLE | |
| config SOC_BEETLE_R0 | |
| bool "ARM BEETLE R0" | |
| endchoice | |
| config ARM_MPU_ENABLE | |
| bool "Enable MPU" | |
| depends on CPU_HAS_MPU | |
| select ARM_MPU | |
| default n | |
| help | |
| Enable MPU |