Build kernel
#
ToolchainDownload: https://www.linaro.org/downloads/
#
Building Linux kernelIf a customized repository exists for the board, clone or download it.
Download:
tip
If the above command fails, check arch/<arch>/configs. If not in arch/<arch>/configs, get a config file using zcat /proc/config.gz > <board>_defconfig
from the kernel installed on the desired board.