what is the difference between Device driver and kernel module
57087
What is the difference between kernel drivers and kernel modules?
32159
How do I map Linux Kernels to Ubuntu Kernels?
56162
What is an kernel update with "Bump ABI"?
40493
How does Linux kernel compare to microkernel architectures?
88198
Network booting couldn't find kernel image
68005
Why does my Ubuntu 13.04 VPS say it has a 2.6.x-series kernel?
144869
Can I switch to HWE kernel after installation?
16526
Should I upgrade to the "mainline" kernels?
155839
Can I list the filesystems a running kernel can support?
45129
What are the differences between linux-generic, linux-server and linux-virtual kernel packages?
54223
On 14.04, my kernel version is 3.11.0-18?
117097
Does kernel: EDAC MC0: UE page 0x0 point to bad memory, a driver, or something else?
8404
How to download and use any other kernel than the one which is installed by default
100491
Linux: How to find the device driver used for a device?
98142
How to block drivers built-into Kernel, i.e. drivers who are not a module
74288
Where can I find the kernel configuration on each Linux distribution?
70823
How to build a custom kernel?