Configured ARM interrupt for UART using APIs from interrupt.c file, in csl -> A15 PDK . But its not working. Is there any reference code to configure the same. ASM files is also taken from PDK. Since GIC is a generic controller is there anything to be done in the code specific to K2L.