## SECTION=image config IMAGE_VEXPRESS tristate select HOST_GENIMAGE select BAREBOX_VEXPRESS select IMAGE_ROOT_EXT prompt "Generate images/vexpress.hdimg" help Image for the Versatile Express board, and the qemu hardware simulation