arm-gic-driver 0.3.1

A driver for the Arm Generic Interrupt Controller version 1-4.
Documentation