I have successfully pushed to iPod and Android devices using the ICEPush add-on and plain Vaadin. Works just fine, and I don’t thing these guys do WebSockets just yet.
Using TouchKit, I cannot associate the pusher with the application. getMainWindow().addComponent(pusher); does not work. Normally i do a getMainWindow.setContent(mainLayout) where mainLayout is a panel and things work, not so in TouchKit.