Generic GPIO interrupts

[akesser]

Hey,
for my test project I was using gpio interrupts, but I encounter errors for short intervals between two or more interrupts. The documentation states, that for short response times, one should implement this in C.

I would be really nice, if someone could help me to understand what needs to be done to add a native interrupt handler in C to devicescript.