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

[George Dunlap <george.dunlap@xxxxxxxxxx>]

On 09/11/2017 05:00 PM, Julien Grall wrote:
> 
> 
> 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.

I've left it as 'Image'.

> 
> [...]
> 
>>> +### 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

Renamed it and added the following description:

    Extension to the GICv3 interrupt controller to support MSI.

 -George

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