arm-gic 0.6.0

A driver for the Arm Generic Interrupt Controller version 2, 3 or 4.
Documentation