Compile and upload the IPL Run make in the soc/ipl directory Connect the badge over USB, make sure it is powered off. Hold START (SW7), turn it on, and 2 seconds after, run make dfu_flash in the fpga/soc/ipl directory.