K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-05-16T14:07:43.695190Z
K 7
svn:log
V 289
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

END