arm-gic 0.1.2

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