Re: [PATCH v5 00/23] irqchip/gic-v4: GICv4.1 architecture support

Zenghui Yu
2020-03-09T08:17:46Z

On 2020/3/5 4:33, Marc Zyngier wrote:
> On the other hand, public documentation is not available yet, so that's a
> bit annoying...

The IHI0069F is now available. People can have a look at:

https://developer.arm.com/docs/ihi0069/latest

Thanks,
Zenghui