As most of you know, Linux is just a kernel. Debian is an operating system (OS), not a kernel. But Debby is a port of the Debian operating system, complete with apt, dpkg, and GNU userland, but without kernel. Actually it is not strictly a port.