| CONFIG_SOC_XENVM=y | |
| CONFIG_BOARD_XENVM=y | |
| # Enable UART driver | |
| CONFIG_SERIAL=y | |
| CONFIG_MAX_XLAT_TABLES=24 | |
| # Enable console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # Enable logging subsys | |
| CONFIG_LOG=y | |
| CONFIG_LOG_MODE_MINIMAL=n | |
| CONFIG_USERSPACE=n | |
| CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y |