The Linux kernel (the core of the Linux operating system)