For sending push messages, I used https://github.com/web-push-libs/web-push-php in https://www.drupal.org/project/pf_notifications
So no platform solution there, but sending the data directly to the endpoints of the vendors (Apple, Google, Firefox etc).
