Xen EFI support and boot loader configuration w/ XenGT

[ghost]

I use the Minnowboard Max board to test XenGT but there's only EFI. I was wondering if there is any experience of booting Xen-GT on a EFI system so I followed this documents :

http://wiki.xenproject.org/wiki/Xen_EFI
http://xenbits.xenproject.org/docs/unstable/misc/efi.html

xen.efi compilation succeeded but a few documentation is available for the configuration file. Is the grub vgt options could be also working with efi ?

This is what is get when I boot xengt :

Xen 4.3.1 (c/s Wed Oct 30 09:18:28 2013 +0100 git:4e8e0bd-dirty) EFI loader
Using configuration file 'xen.cfg'
vmlinuz-vgt-3.17.0-rc4-vgt: 0x0000000067564000-0x0000000070fff536

(XEN) Xen version 4.3.1 (intel@vannes) (gcc (SUSE Linux) 4.8.1 20130909 [gcc-4_8-branch revision 202388]) debug=n Tue Mar 24 15:45:14 CET 2015
(XEN) Latest ChangeSet: Wed Oct 30 09:18:28 2013 +0100 git:4e8e0bd-dirty
(XEN) Bootloader: EFI
(XEN) Command line: console=vga,com1 com1=115200 loglvl=all guest_loglvl=all conring_size=4M noreboot
(XEN) Video information:
(XEN)  VGA is graphics mode 1920x1080, 32 bpp
(XEN) Disc information:
(XEN)  Found 0 MBR signatures
(XEN)  Found 1 EDD information structures
(XEN) EFI RAM map:
(XEN)  0000000000000000 - 000000000008f000 (usable)
(XEN)  000000000008f000 - 0000000000090000 (ACPI NVS)
(XEN)  0000000000090000 - 000000000009e000 (usable)
(XEN)  000000000009e000 - 00000000000a0000 (reserved)
(XEN)  0000000000100000 - 0000000020000000 (usable)
(XEN)  0000000020000000 - 0000000020100000 (reserved)
(XEN)  0000000020100000 - 0000000079be3000 (usable)
(XEN)  0000000079be3000 - 000000007a4e3000 (reserved)
(XEN)  000000007a4e3000 - 000000007a5e3000 (ACPI NVS)
(XEN)  000000007a5e3000 - 000000007a623000 (ACPI data)
(XEN)  000000007a623000 - 000000007b000000 (usable)
(XEN)  00000000e00f8000 - 00000000e00f9000 (reserved)
(XEN)  00000000fed01000 - 00000000fed02000 (reserved)

It seems that the board reboot juste after that.

This is my xen.cfg configuration file :

[global]
default=xengt

[xengt]
options=console=vga,com1 com1=115200 loglvl=all guest_loglvl=all conring_size=4M noreboot
kernel=vmlinuz-vgt-3.17.0-rc4-vgt ignore_loglevel root=/dev/mmcblk0p2 ro quiet 

Regards,
Sam