HomeFreeBSD

Add intrng support to the GICv3 driver. It lacks ITS support so won't handle

Description

Add intrng support to the GICv3 driver. It lacks ITS support so won't handle
MSI or MSI-X interrupts, however this is enought to boot FreeBSD under the
ARM Foundation Model with a GICv3 interrupt controller.

Approved by: ABT Systems Ltd
Relnotes: yes
Sponsored by: The FreeBSD Foundation

Details

Provenance
andrewAuthored on
Parents
rS299943: libthr(3): Fix xref to _umtx_op(2) now that we have it.
Branches
Unknown
Tags
Unknown