| # Copyright (c) 2021 Carlo Caione <ccaione@baylibre.com> | |
| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_SOC_SERIES_FVP_AEMV8A=y | |
| CONFIG_SOC_FVP_BASE_REVC_2XAEMV8A=y | |
| CONFIG_BOARD_FVP_BASE_REVC_2XAEMV8A=y | |
| CONFIG_XIP=n | |
| CONFIG_THREAD_STACK_INFO=y | |
| # Enable Timer and Sys clock | |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000 | |
| 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 |