The secret to the lightweight nature of Docker is that it just uses various namespacing, cgroup etc functionality provided by Linux with no virtualized OS kernel or hw virtualization mechanisms involved.
(Yep you need ARM Docker images when running on ARM of course)