url=$mirror/kernel.tar.gz

fetch() {
	wget -c $url -O src/kernel.tar.gz
}

unpack() {
	pushd src
	[ -d linux-3.11.1 ] || tar xzf kernel.tar.gz
	popd
}

build() {
	pushd src/linux-3.11.1
	cp $top/stuff/kernel-config .config
#	make menuconfig
	make bzImage -j$nprocs
	popd
}

install() {
	pushd src/linux-3.11.1
	cp arch/x86/boot/bzImage $root/boot
	popd
}