> On 17 Nov 2020, at 10:17, Andrew Turner wrote:
>
> Author: andrew
> Date: Tue Nov 17 10:17:18 2020
> New Revision: 367754
> URL: https://svnweb.freebsd.org/changeset/base/367754
>
> Log:
> Allow the GICv3 ACPI driver to attach to a GICv4
>
> The same driver works on both, allow the driver
Author: andrew
Date: Tue Nov 17 10:17:18 2020
New Revision: 367754
URL: https://svnweb.freebsd.org/changeset/base/367754
Log:
Allow the GICv3 ACPI driver to attach to a GICv4
The same driver works on both, allow the driver to attach to a GICv4
controller with the ACPI attachment.
Rep