怎么为nexys 4 ddr配置中断和ISR？

嗨，
我想在nexys 4 ddr上配置外部中断。
我目前有一个微型BD设置，其硬件和比特流在SDK中导出和启动。
我的BD配置包括2个AXI GPIO IP（其中GPIO_0 = 16位LED，GPIO_1 = 16位DIP开关）。
GPIO_1已选中“启用中断”框，因此从该GPIO连接到concat microblaze IP（然后连接到AXI中断控制器）。
concat模块的宽度仅为[0：0]，因此我只使用单个DIP开关来触发外部中断。
在块自动化等之前最初配置微膨胀时，我也检查了“中断”框。
所以我猜这是你需要从硬件方面做的所有事情。
现在我完全不确定如何在SDK中配置端。
我已经为SDK中的LED和开关设置了GPIO配置，并且有一个简单的轮询程序，并且LED与开关完美配合。
所以我只需要覆盖外部中断端。
我看到人们的博客和什么不是，他们包括各种头文件和东西，我在想：“他们从哪里得到这些信息???”
有人可以帮忙吗？
我附上了我的方框图的打印屏幕。