# Pastebin RJ37BHJy
[emily@yukari:~/src/fpga-playground]$ python -m nmigen_boards.tinyfpga_bx

    TinyProg CLI
    ------------
    Using device id 1d50:6130
    Only one board with active bootloader, using it.

    Programming /dev/ttyACM0 with /tmp/nmigen_1cj83c4c_top.bin
    Programming at addr 028000
    Waking up SPI flash
    135100 bytes to program
    Programming and Verifying: 135kB [00:00, 215kB/s]
    Success!