I dont know about push but machine plus Uses a Linux Variant. But i guess they just use the same for push, because why wouldnt they. And yes this is extra frustrating because aparently they can make their stuff run on linux