arm-gic 0.4.0

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