c2dmtornado is a rest interface for googles Android Cloud to Device Messaging Framework - View it on GitHub