| 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 |