Re: [Xen-devel] [PATCH RFC] Add SUPPORT.md

[Julien Grall <julien.grall@xxxxxxx>]

On 07/09/17 22:54, Stefano Stabellini wrote:
> On Thu, 31 Aug 2017, George Dunlap wrote:
> > +### Direct-boot kernel image format
> > +
> > +    Supported, x86: bzImage
> > +    Supported, ARM32: zImage
> > +    Supported, ARM64: Image [XXX - Not sure if this is correct]
> On ARM64 it's called Image.gz.
That's not true. Linux produces an Image. You can compress after if you 
want, but it is not the default.
[...]

> > +### ARM/ITS
> > +
> > +    Status: experimental
> > +
> > +[XXX What is this?]
> A particularly complex extension to the interrupt controller.
To complete, it is an extension of GICv3 to support MSI. So it would be 
better to name it ARM/GICv3 ITS
Cheers,

--
Julien Grall

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