On Wed, Jan 28, 2009 at 10:50:41AM +0100, Jes Sorensen wrote: > Hi Tristan, > > Thanks for the info - where do I find the firmware? Is it in the Xen > hg repositories? Yes, xenbits.xensource.com/efi-vfirmware.hg > I was hoping it would be a walk in the park to build, but I kinda feared > you would say that. Do I need a special environment to build it, like a > special pre-historic version of GCC running on RHEL 3 or something like > that? Worse: you need a java environment. Recent versions of TianoCore uses python (which must be much easier to build) but I haven't time to update. Tristan. > > Cheers, > Jes -- To unsubscribe from this list: send the line "unsubscribe kvm-ia64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html