[solved] IR LED @ 38kHz using interrupts