Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
#!/bin/bash
while ! make flash TARGET="$1"; do echo ; done
1558c9a8dThis file is pinned to the selected release. Download the original to open it in your design tool.