My attempt at a Raspberry Pi Router with Arch Linux ARM and Puppet