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@lists.xen.org
https://lists.xen.org/xen-devel
