Linux is both the name for the kernel and the full operating system.