Problem on pl to ps interrupt with freertos on vitis ide 2024.2

This question is very Xilinx specific. Please reach out to Xilinx as well.

Meanwhile, does this help: Zynq 7020 interrupts under FreeRTOS v10.1.1 - #3 by Steve?