[Xen-bugs] [Bug 1644] xen does not boot when iommu is on after upgrading to xen 4.0.1-rc5 from rc3

[bugzilla-daemon@xxxxxxxxxxxxxxxxxxx]

http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=1644





------- Comment #9 from darkbasic4@xxxxxxxxx  2010-12-17 09:26 -------
>I believe even xen-4.0.0 does not work on ASRock X58 Extreme.
It works (or at least it boots flawlessly), you just need to boot with
iommu=passthrough.

>Can you provide the serial output or 'xm dmesg' with 'iommu=verbose' as
>bootline? I am curious to see whether we detect the DMAR (Intel VT-D chipset)
>or if it is busted.
Yes, if the RS232 serial port does work. I will try as soon as possible.

>You did upgrade to the latest BIOS, right?
Yes, when I filed the bug some months ago. In the meantime they released some
new versions, I will try to upgrade the bios once more.


-- 
Configure bugmail: 
http://bugzilla.xensource.com/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.

_______________________________________________
Xen-bugs mailing list
Xen-bugs@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-bugs