%general-entities; ]> Linux-Headers cross tools install -dv /tools/include make mrproper make ARCH=alpha headers_check make ARCH=alpha INSTALL_HDR_PATH=dest headers_install cp -rv dest/include/* /tools/include make ARCH=alpha headers_check Sanitizes the raw kernel headers so that they can be used by userspace programs. make ARCH=alpha INSTALL_HDR_PATH=dest headers_install Normally the headers_install target removes the entire destination directory (default /usr/include) before installing the headers. To prevent this, we tell the kernel to install the headers to a directory inside the source dir.