I've built the cross-compiler toolchain and the Axoloti software on GNU Guix, but so far have not been able to successfully upload a patch (as reported here https://github.com/axoloti/axoloti/issues/267).
Everything looks fine and the logs state that chunks are uploaded, but every time it reports a firmware CRC mismatch. So I thought that maybe I should try uploading the firmware via DFU mode and I disconnected the device, pressed S1, reconnected, and the device appeared in DFU mode:
Bus 006 Device 027: ID 0483:df11 SGS Thomson Microelectronics STM Device in DFU Mode
So I selected Board -> Firmware -> Flash (Rescue) and observed dfu-util do its thing. Here's the output:
Copyright 2005-2009 Weston Schmidt, Harald Welte and OpenMoko Inc.
Copyright 2010-2014 Tormod Volden and Stefan Schmidt
This program is Free Software and has ABSOLUTELY NO WARRANTY
Please report bugs to dfu-util@lists.gnumonks.org
dfu-util: Invalid DFU suffix signature
dfu-util: A valid DFU suffix will be required in a future dfu-util release!!!
Opening DFU capable USB device...
ID 0483:df11
Run-time device DFU version 011a
Claiming USB DFU Interface...
Setting Alternate Setting #0 ...
Determining device status: state = dfuERROR, status = 10
dfuERROR, clearing status
Determining device status: state = dfuIDLE, status = 0
dfuIDLE, continuing
DFU mode device DFU version 011a
Device returned transfer size 2048
DfuSe interface name: "Internal Flash "
Downloading to address = 0x08000000, size = 570468
Download [ ] 0% 0 bytes
...
Download [============ ] 50% 288768 bytes
...
Download [=========================] 100% 570468 bytes
Download done.
File downloaded successfully
Transitioning to dfuMANIFEST state
Done flashing firmware with DFU.
Now upon disconnecting the board and connecting it again it seems to be dead. lsusb does not show it, it does not power on, and the only way I can get it to reappear is by pressing S1 while connecting it. It appears again in DFU mode and I can again flash the rescue firmware as before, but I cannot seem to get it back into normal mode again.
I'm not sure what's going on here. In the regular mode uploading firmware had no effect (firmware CRC mismatch, no matter how often I flashed it) and in DFU mode flashing the firmware seems to not do anything either.
I have another board which is still in regular mode and it has the same issue with firmware CRC mismatch warnings, so I don't think it's a hardware problem.