Hallo,
sag mal zwischendurch warum es ein Teensy 4.0 sein muss?
Was du beim Teensy Entwickler nachfragen solltest wäre mit wieviel mA ein I/O Pin wirklich belastbar ist. In seiner Übersichtstabelle stehen 10mA drin. Im Datenblatt des Controllers nur bis zu 4mA was scheinbar noch Konfigurationsabhängig ist.