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

CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y