The RK3399 manual has no specific details on the GIC-500. The ARM documents will provide the details, as they have in the past. What I need to learn is what is different between GIC400 and GIC500.
The RK3399 TRM does list the numeric assignment of interrupt numbers to devices in section 1.3 of the manual. For example UART2 (our console) is 132. Timer 0 is 113. This table is all important.
Tom's electronics pages / tom@mmto.org