The Linux kernel is a Unix-like operating system kernel used by a variety of operating systems based on it , which are usually in the form of Linux distributions .
Linux is an operating system kernel used by a group of Unix-like operating systems .