Only allow CONFIG_XEN when not CONFIG_COREBOOT.
[seabios.git] / src / xen.h
2011-06-13 Ian CampbellAdd support for use as Xen HVM BIOS.