version=\
(
'4.9.99'
)
url=\
"https://www.kernel.org/pub/linux/kernel/v4.x/linux-$version.tar.xz"
md5=\
'aecc1118040df0c18dbca9f1f163ef84'
maintainer=\
'Ricardo Martins <rasm@fe.up.pt>'
configure()
{
$cmd_make -C "../linux-$version" \
ARCH="$cfg_target_linux" \
distclean mrproper
}
host_install()
INSTALL_HDR_PATH="$cfg_dir_toolchain_sysroot/usr" \
headers_install