blob: 59a0c306cb7acc6beffa865908114247124f3006 [file] [log] [blame]
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