If so, wouldn't there be overhead if, say, I install a Debian image which contains a specific version of a Linux Kernel? Now you have a container with a Kernel, on top of another kernel (the docker host's kernel). Or am I missing something?
Or does the docker image have the kernel stripped out some how?