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

    https://gitlab.com/taskit/meta-taskit/tree/master/recipes/linux/linux-3.16
    						

    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

    https://gitlab.com/taskit/meta-taskit/blob/master/recipes/linux/linux-3.16/stampa5d36/defconfig
    						

    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.