interesting. I see they have an open-source Push Notification called "opfpush" which supports Google Cloud Messaging:

https://github.com/onepf/OPFPush

But it is not clear to me if sending messages over GCM with OPFPush still requires the proprietary Google Play Services to be installed on the user's phone...