We are in the process of setting up a board running Linux that will support Ethercat and I noticed that the PRU Ethercat firmware is using edge interrupts. Looking at the am335x_pru_package it supports pulse only. In order to use edge interrupts is it necessary to map the PRU interrupts to gpio pins?