What is the kernel in Ubuntu?
108632
What exactly is the Linux kernel and does Ubuntu use a modified Linux kernel?
135382
Ubuntu won't boot - kernel error?
61276
What are the official Ubuntu Derivatives?
42860
What kernel version comes with Ubuntu 10.04.1?
47486
Kernel requires an x86-64 CPU, but only detected an i686 CPU. How can I install Lubuntu/Ubuntu?
149450
What does Ubuntu Core consist of?
8404
How to download and use any other kernel than the one which is installed by default
29195
How to make the kernel section 9 manpages which document functions, data structures, and headers?
56577
The Kernel space in the address space is reserved for us by what?
40493
How does Linux kernel compare to microkernel architectures?
100846
Error: kernel headers not found. (But they are in place)
81409
64-bit kernel, but all 32-bit ELF executable running processes, how is this?
57087
What is the difference between kernel drivers and kernel modules?
48571
KERNELS path for USB device connected to HUB
28795
What is Ubuntu's policy on keeping old kernels
57354
Obtain user and kernel time of a running process?
10794
How do I get the kernel source code?