"Linux Kernel" means any version of the Linux kernel which (i) is released as "stable version", (ii) is licensed under the "GNU GENERAL PUBLIC LICENSE Version 2, June 1991 for the Linux operating system" and (iii) has been published by the Kernel.org Organization, Inc on its Linux Kernel Archive website at www.kernel.org |