This set of automation tools written in Puppet will take a dump of the Gooogle Play Edition (GPE) build of Android for the HTC One (M8) and modify it to run on the Verizon edition of the phone.