1CONFIG_SOC_XENVM=y
2CONFIG_BOARD_XENVM=y
3
4# Enable UART driver
5CONFIG_SERIAL=y
6
7CONFIG_MAX_XLAT_TABLES=24
8
9# Enable console
10CONFIG_CONSOLE=y
11CONFIG_UART_CONSOLE=y
12
13# Enable logging subsys
14CONFIG_LOG=y
15CONFIG_LOG_MODE_MINIMAL=n
16
17CONFIG_USERSPACE=n
18
