Fedora 30, Arduino 1.8.10, on Teensy 4.
I'm doing some prep work to replace a Teensy LC which I've been using as a convenient tabletop IR remote for a video switch on my desk, with a T4, but I'm running into trouble getting IRsend to work on the T4. From what I can tell (in hardware/teensy/avr/libraries/IRremote/boarddefs.h), the transmit pin on the T4 is pin 7, so I hooked up my IR LED the same way I did with my working LC, except using pin 7, and it doesn't seem to be working. I tested the sketch below on two T4 boards to no avail. I'm wondering if anyone else could duplicate my results or point me to a problem with what I'm doing.
Edit to say: I've confirmed the pin is working using other visible-light LEDs.
Code:
#include <IRremote.h>
IRsend irsend;
void setup() {
pinMode(13, OUTPUT);
}
void loop() {
digitalWrite(13, HIGH);
Serial.println("Sending 'A1' signal to LED...");
irsend.sendNEC(0x1FE48B7, 32);
irsend.sendNEC(0xFFFFFFFF, 0);
digitalWrite(13, LOW);
delay(1000);
}