The Linux kernel contains different scheduler classes. Debian 10 ships with Linux kernel version 4.19. It is based on Linux kernel version 4.8. It used the FreeBSD kernel and GNU userland. Debian is one of the oldest operating systems based on the Linux kernel. Several flavors of the Linux kernel exist for each port. The release shipped with version 3.2.14 of the Linux kernel. At least some of the modules derive from modules used in the Linux kernel. The system includes the Linux 4.15 kernel. Linus Torvalds is known for disagreeing with other developers on the Linux kernel mailing list. It is based on the notes documented in the Linux Kernel. Chrome OS is built on top of the Linux kernel. Genkernel is a tool for building a general-purpose modular Linux kernel. Bionic itself has been designed with several major features specific to the Linux kernel. Redesign continued into version 3.15 of the Linux kernel.