Comment by akreal

AFAIK all ways of running docker on MacOS rely on a amd64 virtual machine with Linux kernel in it.