kernel

Name

kernel  --  create the kernel target

Synopsis

kernel {package} [rev=revision] [root=url] [dest=directory] [config=file]

Description

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.

Options

config=file

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.

dest=directory

The destination directory of the kernel package to fetch.

rev=revision

The revision of the kernel package to fetch.

root=url

The repository root of the kernel package to fetch.

Caveats

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.

Examples

Add the kernel from the package os/linux, revision R2_4_22_030827, to the product:

    kernel os/linux rev=R2_4_22_030827
    

Use kernel configuration file kernelconfig.debug instead of kernelconfig:

    kernel os/linux rev=R2_4_22_030827 config=kernelconfig.debug
    

See Also

console_linux_2_4(3), fetch(3)