This is the Debian Linux prepackaged version of the Linux kernel.

This package was put together by Philip Blundell <philb@armlinux.org>
from source obtained from ftp://ftp.kernel.org/

The Linux kernel is copyrighted under the GNU Public License.