arm-gic 0.1.0

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