1 message in com.xensource.lists.xen-bugs[Xen-bugs] [Bug 587] x86_64 -xen kern...
FromSent OnAttachments
bugz...@lists.xensource.com27 Mar 2006 15:27 
Subject:[Xen-bugs] [Bug 587] x86_64 -xen kernel does not boot
From:bugz...@lists.xensource.com (bugz@lists.xensource.com)
Date:03/27/2006 03:27:16 PM
List:com.xensource.lists.xen-bugs

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

------- Additional Comments From jam@xensource.com 2006-03-27 23:27 ------- Works for me on current tip 40c23921e729

# uname -rvpi 2.6.16-xen #1 SMP Mon Mar 27 15:06:09 PST 2006 x86_64 x86_64

This is on a HP DL145.