This is an earlier thread, that might help you:
arduino-ide-2-03-hangs-on-startup/1095206
(I did a search for Error loading hardware platform: discovery teensy:teensy-discovery not found)
This is an earlier thread, that might help you:
arduino-ide-2-03-hangs-on-startup/1095206
(I did a search for Error loading hardware platform: discovery teensy:teensy-discovery not found)