ci/jailhouse-config-vexpress.h

   1 #define CONFIG_TRACE_ERROR              1
   2 #define CONFIG_ARM_GIC                  1
   3 #define CONFIG_MACH_VEXPRESS            1
   4 #define CONFIG_SERIAL_AMBA_PL011        1