Read rest of the answer. Hereof, what is kernel devel?
Kernel-devel - This package provides kernel headers and makefiles sufficient to build modules against the kernel package.
Also, where is kernel devel installed? On Debian, Ubuntu and their derivatives, all kernel header files can be found under /usr/src directory. You can check if the matching kernel headers for your kernel version are already installed on your system using the following command.
Then, what is devel in Linux?
2. 56. The *-devel packages (usually called *-dev in Debian-based distributions) are usually all the files necessary to compile code against a given library. For running an application using the library libfoo only the actualy shared library file ( *. so.
What is Linux kernel headers?
Kernel headers are used to compile various kernel modules, such as the graphics card driver you are trying to install. Like other header files in source code, kernel headers declare various functions, variables and data structures, in this case the API provided by the Linux kernel.