2. Compiling the Kernel

  1. Download the Linux 3.16 kernel sources from the Internet, e.g. from kernel.org.

  2. Download all the Linux patches from


    Use the program "patch" to install the patches into the Linux source files.

  3. You may wish to copy the taskit default configuration for the Linux kernel. To do so, copy the file


    to the file.config in the source directory of Linux. In order to get all the other default configurations of Linux without having to enter them by hand, call

    make olddefconfig

    thereby completing the file ".config".

  4. You can now compile the kernel with make.