Puppet modules and manifests for provisioning and configuring the Magfest laptops