Nothing specific for Docker yet, but I find the Linux machines are lightweight enough that I just run Docker inside them.