And if it is faster than boot2docker with VirtualBox, great!