Dynamic C 10 includes a Remote Program Update library for doing remote updates on some of the Rabbit 4000 and all of the Rabbit 6000 products.
For SBCs, all of the BL4S1xx models and the BL4S200 work with that library. Those SBCs have Ethernet interfaces, so you would need a wireless gateway for Wi-Fi access.
Take a look at Samples/RemoteProgramUpdate from a Dynamic C 10 installation, or on the Dynamic C 10 GitHub repository at https://github.com/digidotcom/DCRabbit_10/tree/master/Samples/RemoteProgramUpdate