From e9cf420c3336b270d4916a73367fa2efe9cfa572 Mon Sep 17 00:00:00 2001
From: Ralph Giles <giles@thaumas.net>
Date: Sat, 9 May 2015 07:30:06 +0000
Subject: Document kernel build process.

This is based rak's report on the forums, and tested on my local
machine. http://www.kosagi.com/forums/viewtopic.php?id=176
---
 tasks.rst | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/tasks.rst b/tasks.rst
index 9c57136..6835d49 100644
--- a/tasks.rst
+++ b/tasks.rst
@@ -144,6 +144,28 @@ Creating a WiFi Hostspot
 Compiling and Installing the Kernel
 -------------------------------------
 
+Check out the novena kernel tree::
+
+    git clone https://github.com/xobs/novena-linux
+
+Check out the version you want to build. For example::
+
+    cd novena-linux
+    git checkout v3.19-novena
+
+Set the default build configuration and compile the kernel::
+
+    make novena_defconfig
+    make -j4
+
+Now that the kernel is compiled, we must install it and its
+corresponding set of modules. For the time being the kernel
+needs to be on the small /boot partition on the sd card::
+
+    sudo make modules_install
+    sudo cp arch/arm/boot/dts/imx6q-novena.dtb /boot/novena.dtb
+    sudo cp arch/arm/boot/zImage /boot/zimage
+
 Using an External HDMI Monitor
 -------------------------------------
 
-- 
cgit v1.2.3


From 61c2ac4de152944014e50ddbd17f539477927e8f Mon Sep 17 00:00:00 2001
From: Ralph Giles <giles@thaumas.net>
Date: Sat, 9 May 2015 07:38:20 +0000
Subject: Mention debian's make-kpkg.

I haven't tried this myself. u-boot-novena script from xobs' post
http://www.kosagi.com/forums/viewtopic.php?pid=1555#p1555
---
 tasks.rst | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tasks.rst b/tasks.rst
index 6835d49..898d460 100644
--- a/tasks.rst
+++ b/tasks.rst
@@ -166,6 +166,12 @@ needs to be on the small /boot partition on the sd card::
     sudo cp arch/arm/boot/dts/imx6q-novena.dtb /boot/novena.dtb
     sudo cp arch/arm/boot/zImage /boot/zimage
 
+Kosagi's latest kernel build is available in their repo as the
+'linux-image-novena' package. The 'u-boot-novena' package also
+contains a script to maintain the sdcard card partition, so if
+this is installed, the traditional debian 'fakeroot make-kpkg'
+method will work without the manual copying above.
+
 Using an External HDMI Monitor
 -------------------------------------
 
-- 
cgit v1.2.3


From 56564710703bcf6ec0d03a5dd7bd60b0c2d566f6 Mon Sep 17 00:00:00 2001
From: Ralph Giles <giles@thaumas.net>
Date: Sat, 9 May 2015 07:49:42 +0000
Subject: Mention recovery partition.

---
 tasks.rst | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tasks.rst b/tasks.rst
index 898d460..f9e0ba7 100644
--- a/tasks.rst
+++ b/tasks.rst
@@ -166,6 +166,11 @@ needs to be on the small /boot partition on the sd card::
     sudo cp arch/arm/boot/dts/imx6q-novena.dtb /boot/novena.dtb
     sudo cp arch/arm/boot/zImage /boot/zimage
 
+If you have trouble booting the new kernel, hold down the user
+(square) button during boot. That should select the kernel in
+the sd card's recovery partition. If all else fails, reflash
+the sd card with a factory image.
+
 Kosagi's latest kernel build is available in their repo as the
 'linux-image-novena' package. The 'u-boot-novena' package also
 contains a script to maintain the sdcard card partition, so if
-- 
cgit v1.2.3