Puppet Type and Provider for Management of SmartOS Virtual Machines