Only reusable part of the code is ios-push-sdk.
I have checked that library and seems to be working outside the box with push server.
We could repurpose it to be used with AeroGear Services SDK, but that's going to happen once push server will be available..