Re: [PATCH v5 00/23] irqchip/gic-v4: GICv4.1 architecture support
From: Zenghui Yu
Date: Mon Mar 09 2020 - 04:17:52 EST
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