В докертулбокс вроде входит виртуалка и все что надо что бы он корректно работал на mac/win, у меня в линукс никакого тулбокс нету ) а вот на винде помню был )
Я не помню чтобы докер требовал виртуальную машину для мака старше 2010 года.
Тулбокс нужен только для GUI на маке и быстрой установки. в принципе докер и компос ставятся через брю и работают без тулбокса так же(на ноуте так и стоит).
Хотя если hyperkit считаете полноценной виртуалкой, тогда возможно правы. Но по факту он не может быть полноценной виртуальной машиной такой как virtualbox.