Eclipse hawkBit 1.0 is here and is considered a production-ready backend for OTA updates of IoT devices with stable APIs for ...
Eclipse will put some of that money towards incubating, or building startups.