Debian systems currently use the Linux kernel or the FreeBSD kernel. Linux is a piece of software started b...