[Xen-users] Can't reboot Xen Linux DOM0 (UEFI) - 4.4.0-RC6

[Axel Puschkin <axel-puschkin@xxxxxxxxxx>]

Hello!

I am using Xen 4.4.0-RC6 on a custom Linux 3.13.5 kernel, on-top of a Debian 
Wheezy system.
The system is booting using a xen.efi - binary.

My hardware:
Motherboard: Intel DQ87PG (Haswell)
CPU: Intel Core i5 4570 (non-K)
Ram: 16GB DDR3
M4 Crucial SSD

Everything seems to work alright, but I can't reboot the DOM0-system.
When calling reboot, either by hitting CTRL+ALT+DEL at initramfs-time or by 
typing "init 6" in the running system, it simply hangs (after halting the 
system?).
The screen is stuck at the following kernel message:
"reboot: Restarting system"

I tried to add all sorts of reboot=pci, reboot=triple options as kernel 
arguments.
Not changing this behavior.
I am able to shutdown the system properly, though.

Any thoughts what might be the problem?

Thank you very much in advance!

Best regards
Axel

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxx
http://lists.xen.org/xen-users