[FE training-materials-updates] Make the kernel downloaded by a local manifest

[Maxime Ripard]

Repository : git://git.free-electrons.com/training-materials.git

On branch  : master
Link       : http://git.free-electrons.com/training-materials/commit/?id=6a79b62b540bce065d3e90c712e412e2c0af2e5f

>---------------------------------------------------------------

commit 6a79b62b540bce065d3e90c712e412e2c0af2e5f
Author: Maxime Ripard <maxime.ripard at free-electrons.com>
Date:   Tue Jul 22 10:32:05 2014 +0200

    Make the kernel downloaded by a local manifest
    
    Signed-off-by: Maxime Ripard <maxime.ripard at free-electrons.com>


>---------------------------------------------------------------

6a79b62b540bce065d3e90c712e412e2c0af2e5f
 labs/android-boot/android-boot.tex |   28 ++++++++++++----------------
 1 file changed, 12 insertions(+), 16 deletions(-)

diff --git a/labs/android-boot/android-boot.tex b/labs/android-boot/android-boot.tex
index ce4adbd..16d8be1 100644
--- a/labs/android-boot/android-boot.tex
+++ b/labs/android-boot/android-boot.tex
@@ -18,22 +18,18 @@ Goldfish.
 
 In the standard Android source code we fetched, the kernel source was
 not included.  So the first thing to do is download the Android kernel
-sources.
-
-\code{git clone https://android.googlesource.com/kernel/goldfish.git kernel}
-
-Go to the \code{kernel} directory. That's where the kernel source
-repository was cloned.
-
-Using \code{git branch -a}, find the name of the most recent stable
-kernel version that supports the Goldfish platform. At the time of
-this writing, Linux 3.10 still don't seem to work with the emulator,
-and you will have to choose either the 3.4 or the 2.6.29
-kernels. Since the latter is quite ancient, we'll use 3.4.
-
-Switch to this branch as follows:
-
-\code{git checkout <branch>}.
+sources stored in the git repository
+\url{https://android.googlesource.com/kernel/goldfish.git} using
+repo's local manifests. Store it into a folder called \code{kernel}.
+
+Make repo download the kernel, and once done, using \code{git branch
+  -a}, find the name of the most recent stable kernel version that
+supports the Goldfish platform. At the time of this writing, Linux
+3.10 still don't seem to work with the emulator, and you will have to
+choose either the 3.4 or the 2.6.29 kernels. Since the latter is quite
+ancient, we'll use 3.4.
+
+Edit your local manifest to use the revision you just identified.
 
 Now that we have kernel sources, we now need a toolchain to compile
 the kernel. Fortunately, Android provides one. First, add the