If anyone wants to be paid for porting https://github.com/nodemcu/nodemcu-firmware firmware to new ARM hardware + ethernet (not wifi) let me know. Other ongoing embedded work available.