Looks like you have no items in your shopping cart.
Click here to continue shopping
割り込みコントローラーのバージョンを変更すると、次のようなエラー メッセージが表示されます。
ERROR:EDK - xps_intc_0 (xps_intc) - Interrupt Port - 'int_0' cannot be without Sensitivity (SENSITIVITY=EDGE_RISING|EDGE_FALLING|LEVEL_LOW|LEVEL_HIGH)