arm: prepare port for 48 bit PARange support

[jailhouse.git] / ci / jailhouse-config-vexpress.h

#define CONFIG_TRACE_ERROR              1
#define CONFIG_ARM_GIC                  1
#define CONFIG_MACH_VEXPRESS            1
#define CONFIG_SERIAL_AMBA_PL011        1