Customizing boot2docker to use AZK