Tools for managing FreeBSD virtualmachines