Hi,
I was wondering if the teensy_loader_cli on Linux will work correctly with a teensy 3.1; it seems to be missing an option for -mmcu=mk20dx256, and I get "Unable to find rebootor" when trying with -mmcu=mk20dx128.
Thanks.
Edit: So, I realized I misunderstood what -r is for, but it'd still...