Re: [Xen-devel] [PATCH 08/18] efi: build xen.gz with EFI code

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 27/03/15 11:46, Jan Beulich wrote:
> > > > On 27.03.15 at 12:14, <daniel.kiper@xxxxxxxxxx> wrote:
> > IIRC, MS ABI is supported starting from GCC v4.0.
> Where did you find that? From all I know __attribute__((__ms_abi__))
> is being supported only by 4.5 and newer. The mere support of the
> MS ABI via command line option doesn't help us, as we need to be
> able to mix ABIs within a single source file.
>
> Jan
As I have indicated elsewhere (but can't seem to locate - it was a while 
ago), I think it is perfectly reasonable to have a CONFIG_EFI which is 
only enabled if the makefile detects GCC >= 4.5
That way, older build environments don't get EFI support, while newer 
ones do, and newer systems can safely use __attribute__((__ms_abi__)) to 
make a mixed abi binary.
~Andrew

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