arm-gic 0.2.0

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