Vladimir Serbinenko 9612ebc00e Add new ports: i386-xen and x86_64-xen. This allows running GRUB in ... XEN PV environment and load kernels.		2013-11-09 21:29:11 +01:00
..
xendisk.c	Add new ports: i386-xen and x86_64-xen. This allows running GRUB in	2013-11-09 21:29:11 +01:00