From 75bc786637070ab9d3f3703e17e7483ab795109e Mon Sep 17 00:00:00 2001
From: sin <sin@2f30.org>
Date: Thu, 19 Sep 2013 14:11:03 +0100
Subject: [PATCH] Rather than fetching a pre-built kernel, build one

---
 pkgs/kernel | 25 +++++++++++++++++++------
 1 file changed, 19 insertions(+), 6 deletions(-)

diff --git a/pkgs/kernel b/pkgs/kernel
index a2804e1..fdf4fa9 100644
--- a/pkgs/kernel
+++ b/pkgs/kernel
@@ -1,12 +1,25 @@
-url=$mirror/bzImage
-urlconfig=$mirror/bzImage-config
+url=$mirror/kernel.tar.gz
 
 fetch() {
-	wget -c $url -O src/bzImage
-	wget -c $urlconfig -O src/bzImage-config
+	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() {
-	cp src/bzImage $root/boot
-	cp src/bzImage-config $root/boot
+	pushd src/linux-3.11.1
+	cp arch/x86/boot/bzImage $root/boot
+	popd
 }