Issues I had

external_interrupt signals are quite un-documented. Are they inputs or outputs? Seems like they're outputs, but how do we import external interrupts? Are we supposed to implement our own interrupt controller? These are inputs then?