1# SPDX-License-Identifier: Apache-2.0 2 3CONFIG_SOC_NSIM=y 4CONFIG_SOC_NSIM_HS_MPUV6=y 5CONFIG_BOARD_NSIM=y 6CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 7CONFIG_XIP=n 8CONFIG_BUILD_OUTPUT_BIN=n 9CONFIG_ARCV2_INTERRUPT_UNIT=y 10CONFIG_ARCV2_TIMER=y 11CONFIG_ARC_MPU_ENABLE=y 12CONFIG_CONSOLE=y 13CONFIG_UART_CONSOLE=y 14CONFIG_SERIAL=y 15CONFIG_ARC_EXCEPTION_DEBUG=y 16