ESP32 flashing Arduino via SPI pins?

[liudr]

I use a version of avrdude to upload .hex files to arduino via SPI ins on raspberry pi 0w. I wish to move to ESP32 due to the lack of supplies of raspberry pi 0w. I wonder if anyone has done this already, on ESP32 in MicroPython, uploading intel .hex files to arduino via spi. Thanks.
I'm fairly comfortable with MicroPython although my experience with SPI is on arduino system via library calls only. If the above has not been done, is there any resource I can use to write my own MicroPython script? Thanks.

[jimmo]

Using SPI from MicroPython is very similar to using it from Arduino - there is a high level api in machine.SPI.

I don't know if ICSP for AVR needs any specific extensions to SPI though.

There are several pure-python parsers for the intel hex format.

[liudr]

Thanks. I need to investigate it a bit more. Used ESP32 for a while with MicroPython, which is great, but never tried doing SPI with it, fearing it would be too slow. I'll post what I find on this subject.