For Docker specifically, neither is worth the hassle IMO. Spend the extra money for an off-lease small form factor business PC, which are dirt cheap these days, run Linux and Docker on it and SSH into it as needed. The power cost is negligible, you aren't hobbled by trying to run both Docker and your normal apps on an anemic laptop CPU with limited RAM, and there are no oddball compatibility issues to have to deal with.