Merge pull request #5 from rillian/fixes

Document kernel update process

1 files changed, 33 insertions, 0 deletions

diff --git a/tasks.rst b/tasks.rst
index 9c57136..f9e0ba7 100644
--- a/tasks.rst
+++ b/tasks.rst
@@ -144,6 +144,39 @@ 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
+
+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
+this is installed, the traditional debian 'fakeroot make-kpkg'
+method will work without the manual copying above.
+
 Using an External HDMI Monitor
 -------------------------------------