Enhance the benchmark code a little. Add image_end symbol.

[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