kernel creates the kernel target, fetches the kernel source and adds commands for creating a symbolic link, /dev/console, to the serial debug port of the kernel.
The commands of the kernel target will copy kernelconfig to .config in the top directory of the kernel source, run "make oldconfig", "make dep", "make clean" and "make zImage" there and then copy .config to kernelconfig.latest if the build was successfully completed. The next time you do "make kernel" it will compare .config and kernelconfig.latest and, if they do not differ, only "make zImage" will be run. This saves some time when recompiling the kernel if the kernel configuration has not changed since last time.
Configuration file of the kernel. The kernel target in the generated makefile will use file to configure the kernel before building it. Default is kernelconfig.
The destination directory of the kernel package to fetch.
The revision of the kernel package to fetch.
The repository root of the kernel package to fetch.
The configuration file of the kernel is not fetched by kernel. If it is not included in the same package as the configuration script, it must be fetched explicitly.