Linux is an operating system kernel used by a group of Unix-like operating systems .
The Linux kernel is an operating system kernel used by the Linux family of Unix-like operating systems .