#!/bin/sh

. config/options $1

$SCRIPTS/unpack linux

cd $(kernel_path)
make ARCH=$TARGET_ARCH headers_check
make ARCH=$TARGET_ARCH INSTALL_HDR_PATH=dest headers_install

mkdir -p $SYSROOT_PREFIX/usr/include
  cp -R dest/include/* $SYSROOT_PREFIX/usr/include

