# Copyright (c) 2023 Arm Limited (or its affiliates). All rights reserved. | |
# SPDX-License-Identifier: Apache-2.0 | |
CONFIG_ARM_MPU=y | |
CONFIG_ISR_STACK_SIZE=1024 | |
CONFIG_THREAD_STACK_INFO=y | |
# Enable Timer and Sys clock | |
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 | |
CONFIG_ARM_ARCH_TIMER=y | |
# Enable UART driver | |
CONFIG_SERIAL=y | |
# Enable serial port | |
CONFIG_UART_INTERRUPT_DRIVEN=y | |
# Enable console | |
CONFIG_CONSOLE=y | |
CONFIG_UART_CONSOLE=y | |
CONFIG_CACHE_MANAGEMENT=y | |
CONFIG_DCACHE=n | |
CONFIG_USE_SWITCH=y | |
CONFIG_SMP=y | |
CONFIG_MP_MAX_NUM_CPUS=4 |