[IP] GIC: Series Overview
GIC (Generic Interrupt Controller)
Chap 0. GIC summary
Chap 1. GIC v3 & v4
Chap 2. GIC multichip
Etc. GIC Trace32
You may also enjoy
[Linux] RPMsg Porting Guide
A comprehensive guide on porting RPMsg for IPC between Linux and RTOS.
[Linux] IRQ management
Interrupt management in the Linux kernel
[Linux] Utilizing Driver ID Information and DTS
Information mapping and utilization in U-BOOT to support multiple chipsets with a single driver.
[ASPICE] SMMU Software Functional Test Specification (SWE.4)
Functional test specification for the SMMUv3 driver, verifying module functions.