No Arduino IDE, no command line. A supported browser talks to the board over Web Serial and writes the firmware directly. Every ATLAS device that runs on an ESP32 flashes here. Locke, being a Raspberry Pi, updates a different way. Each panel shows the current version and what changed.
Pick a board. Versions and notes update live from the firmware registry.
Every device's firmware source, the primer to build it, and the compiled image, all downloadable. Open source, yours to modify.