Looks like you have no items in your shopping cart.
Click here to continue shopping
Changing the interrupt controller version resulted in the following error message:
ERROR:EDK - xps_intc_0 (xps_intc) - Interrupt Port - 'int_0' cannot be without Sensitivity (SENSITIVITY=EDGE_RISING|EDGE_FALLING|LEVEL_LOW|LEVEL_HIGH)