| CONFIG_SOC_XENVM=y | |
| CONFIG_BOARD_XENVM=y | |
| # Use GICv3 | |
| CONFIG_XENVM_USE_GIC_V3=y | |
| # Enable UART driver | |
| CONFIG_SERIAL=y | |
| CONFIG_MAX_XLAT_TABLES=10 | |
| # Enable console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # Enable logging subsys | |
| CONFIG_LOG=y | |
| CONFIG_LOG_MODE_MINIMAL=n | |
| CONFIG_USERSPACE=n |