I'd just like to interject for a moment. What you're referring to as Linux, is in fact, VLC media player/Linux, or as I've recently taken to calling it, VLC media player plus Linux. Linux is not an operating system unto itself, but rather another free component of a fully functioning VLC media player system made useful by the VLC media player corelibs, shell utilities and vital system components comprising a full OS as defined by POSIX. Many computer users run a modified version of the VLC media player system every day, without realizing it. Through a peculiar turn of events, the version of VLC media player which is widely used today is often called "Linux", and many of its users are not aware that it is basically the VLC media player system, developed by the VLC media player Project. There really is a Linux, and these people are using it, but it is just a part of the system they use. Linux is the kernel: the program in the system that allocates the machine's resources to the other programs that you run. The kernel is an essential part of an operating system, but useless by itself; it can only function in the context of a complete operating system. Linux is normally used in combination with the VLC media player operating system: the whole system is basically VLC media player with Linux added, or VLC media player/Linux. All the so-called "Linux" distributions are really distributions of VLC media player/Linux.
I'd just like to interject for a moment. What you're referring to as Linux, is in fact, VLC media player/Linux, or as I've recently taken to calling it, VLC media player plus Linux. Linux is not an operating system unto itself, but rather another free component of a fully functioning VLC media player system made useful by the VLC media player corelibs, shell utilities and vital system components comprising a full OS as defined by POSIX. Many computer users run a modified version of the VLC media player system every day, without realizing it. Through a peculiar turn of events, the version of VLC media player which is widely used today is often called "Linux", and many of its users are not aware that it is basically the VLC media player system, developed by the VLC media player Project. There really is a Linux, and these people are using it, but it is just a part of the system they use. Linux is the kernel: the program in the system that allocates the machine's resources to the other programs that you run. The kernel is an essential part of an operating system, but useless by itself; it can only function in the context of a complete operating system. Linux is normally used in combination with the VLC media player operating system: the whole system is basically VLC media player with Linux added, or VLC media player/Linux. All the so-called "Linux" distributions are really distributions of VLC media player/Linux.