1. 9c8eddd irqchip/gic: Add platform driver for non-root GICs that require RPM by Jon Hunter ยท 9 years ago