| 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 PV hypervisor console | |
| CONFIG_UART_XEN_HVC=y | |
| # Enable logging subsys | |
| CONFIG_LOG=y | |
| CONFIG_LOG_MODE_MINIMAL=y |