Updating firmware for host Arduino

Hi there,

I am currently trying to set up a notecard to monitor a remote sensor system. I have set up a small example with a Seeeduino Xiao microcontroller running as the host for the Notecard. The Xiao is basically a tiny Arduino that runs off an Atmel SAMD21 processor.
The main problem I am running into is that I will need to be able to send firmware updates to the Seeeduino over the air. I have followed the blues dev article on Updating ESP32 Host Firmware. Do you know if anyone has made a version of this code that works for an Arduino host?