I solved this while writing the question - and thought it might help others …
I can flash to a device using tinygo, but I need a ‘simpler’ way to deploy - e.g. by just copying a binary file over.
Tested and working on Badger2040. Here are the steps I used:
- build a uf2 binary format file using:
tinygo build -target=badger2040 -o badger2040_button.uf2 button.go
- Reset the badger2040 with the user button held down
- the badger appears (for me on WIN11) as
RPI RP2 (D:)
- the badger appears (for me on WIN11) as
- Copy
badger2040_button.uf2
into the D: drive
This should work - but not tested - on other devices.