iOS does its own thing, FWIW: APNS (https://en.wikipedia.org/wiki/Apple_Push_Notification_Servic...)