The Linux kernel is freely-redistributable under the terms of the GNU
General Public License.  (See /usr/doc/copyright/GPL.)

 NOTE! This copyright does *not* cover user programs that use kernel
 services by normal system calls - this is merely considered normal
 use of the kernel, and does *not* fall under the heading of "derived
 work".  Also note that the GPL below is copyrighted by the Free
 Software Foundation, but the instance of code that it refers to (the
 linux kernel) is copyrighted by me and others who actually wrote it.

			Linus Torvalds
