CONFIG_SOC_XENVM=y | |
CONFIG_BOARD_XENVM=y | |
# Enable UART driver | |
CONFIG_SERIAL=y | |
CONFIG_XIP=n | |
CONFIG_FLASH_BASE_ADDRESS=0x0 | |
CONFIG_FLASH_SIZE=0 | |
CONFIG_AARCH64_IMAGE_HEADER=y | |
CONFIG_MAX_XLAT_TABLES=10 | |
# Enable console | |
CONFIG_CONSOLE=y | |
CONFIG_UART_CONSOLE=y | |
# Enable serial port | |
CONFIG_UART_PL011=y | |
CONFIG_UART_PL011_SBSA=y | |
CONFIG_UART_INTERRUPT_DRIVEN=n |