In the last days before the event we flashed all 700+ boards with the default Micro Python firmware.

both the Micro Python as the Arduino firmware have their own repository, the final firmware is included in the code directory of the badge repository