|Interface||Hardware Supported||TinyGo Support|
Machine Package Docs
In order to flash your TinyGo programs onto the Teensy 4.0 board, you will need to install the
teensy_loader_cli (https://github.com/PaulStoffregen/teensy_loader_cli) on your machine.
Plug your Teensy 4.0 into your computer’s USB port.
Flash your TinyGo program to the board using this command:
tinygo flash -target=teensy36 [PATH TO YOUR PROGRAM]
The Teensy 4.0 board should restart and then begin running your program.
If you have troubles getting your Teensy 4.0 board to receive code, try this:
Press the “RESET” button on the board two times to get the Teensy 4.0 board ready to receive code.
The Teensy 4.0 board will appear to your computer like a USB drive.
Now try running the command as above:
tinygo flash -target=teensy40 [PATH TO YOUR PROGRAM]
Once you have updated your Teensy 4.0 board the first time, after that you should be able to flash it entirely from the command line.
You cannot yet use the USB port to the Teensy 4.0 as a USB CDC serial port.