Folks, the tech specs for the Teensy 4xs say 4ma max as a source. But it's mute on max current controllable with a pin in OUTPUT_OPENDRAIN mode. I'd guess I could expect 10ma or so, but I'd rather be sure. Let me know.
Its symmetrical, typical full drive outputs are +4mA and -4mA. This is for the specified output voltage droop, note, you can probably pull more, but don't expect too much from the IO pads they have to be very small indeed on a chip like this.