It would be helpful to know when this crate should be used and when the `arm-gic` crate should be used.
It would be helpful to know when this crate should be used and when the
arm-giccrate should be used.