Thanks a lot for your feedback and example code for this issue.
May I ask which BIOS and XDC version you are using please?
I am working with our BIOS team to confirm if K2H A15 interrupt is only supported in any specific new BIOS version and if your .cfg updates mentioned above is sufficient to work with for your current SYS/BIOS.
At the mean time, could you please take a look at the following example source code and .cfg files in the attached ZIP file to see if you are able to generate the interrupt along with other setup in your project environment please?
If not, could you also give a try with the output file in ZIP file to see if you are able to see the print out in myISR function please?
It may give us some clues to see if the issue is due to the BIOS version or some other setup in your project.
(Please visit the site to view this file)