In case it helps, here’s my writeup on how you can setup on Arch Linux/checkout the factory firmware and flash it all w/o touching the Arduino IDE: Problems getting started reflashing model 01 on Arch Linux - #20 by lhl
2 Likes