From mboxrd@z Thu Jan  1 00:00:00 1970
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 28 Jan 2009 10:14:32 +0000
Subject: Re: EFI image - SAL_DESC_PLATFORM_FEATURE bits
Message-Id: <20090128101432.GA6722@gingold.org>
List-Id: <kvm-ia64.vger.kernel.org>
References: <497F2BDD.7030307@sgi.com>
In-Reply-To: <497F2BDD.7030307@sgi.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: kvm-ia64@vger.kernel.org

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