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