A pi version is a good idea.
To turn the question about Docker on it’s head, why use Docker? What does it offer that Virtualbox doesn’t?