Lines Matching refs:kernel
6 # Simple script to generate a deb package for a Linux kernel. All the
7 # complexity of what to do with a kernel after it is installed or removed
9 # /etc/kernel/{pre,post}{inst,rm}.d/ directories (or an alternative location
58 # Build and install the kernel
83 # Note: hook scripts under /etc/kernel are also executed by official Debian
84 # kernel packages, as well as kernel packages built using make-kpkg
85 debhookdir=${KDEB_HOOKDIR:-/etc/kernel}
123 * Custom built Linux kernel.
130 This is a packacked upstream version of the Linux kernel.
133 ftp://ftp.kernel.org/pub/linux/kernel
137 The git repository for mainline kernel development is at:
138 git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git
151 Section: kernel
155 Homepage: http://www.kernel.org/
164 Description: User Mode Linux kernel, version $version
165 User-mode Linux is a port of the Linux kernel to its own system call
167 as a user process under another Linux kernel. This is useful for
168 kernel development, sandboxes, jails, experimentation, and
171 This package contains the Linux kernel, modules and corresponding other
182 Description: Linux kernel, version $version
183 This package contains the Linux kernel, modules and corresponding other
197 Description: Linux kernel firmware, version $version
198 This package contains firmware from the Linux kernel, version $version.