diff --git a/src/source/building-kernels.md b/src/source/building-kernels.md
index 4987654..0dc3536 100644
--- a/src/source/building-kernels.md
+++ b/src/source/building-kernels.md
@@ -52,10 +52,18 @@
     $ git clone https://android.googlesource.com/kernel/samsung.git
     $ git clone https://android.googlesource.com/kernel/tegra.git
 
-The goldfish project contains the kernel sources for the emulated
-platforms. The msm project has the sources for ADP1, ADP2 and
-Nexus One. The omap project is used for PandaBoard and Galaxy Nexus,
-the samsung project for Nexus S, and the tegra project for Xoom.
+  - The `goldfish` project contains the kernel sources for the emulated
+platforms.
+  - The `msm` project has the sources for ADP1, ADP2, Nexus One, and
+can be used as a starting point for work on Qualcomm MSM chipsets.
+  - The `omap` project is used for PandaBoard and Galaxy Nexus, and
+can be used as a starting point for work on TI OMAP chipsets.
+  - The `samsung` project is used for Nexus S and can be used as a
+starting point for work on Samsung Hummingbird chipsets.
+  - The `tegra` project is for Xoom, and can be used as a starting
+point for work on NVIDIA Tegra chipsets.
+  - The `exynos` project can be used as a starting point for work
+on Samsung Exynos chipsets.
 
 ## Downloading a prebuilt gcc ##
 
diff --git a/src/source/downloading.md b/src/source/downloading.md
index 40e881b..b3a5f1c 100644
--- a/src/source/downloading.md
+++ b/src/source/downloading.md
@@ -35,6 +35,10 @@
  - For version 1.16, the SHA-1 checksum for repo is
  19ba8290344752da23e00cfb2b26afb43b463fe6
 
+ - *Note: an incorrect SHA-1 checksum had been published
+ for repo version 1.16. That version of repo was not
+ harmful, but it pointed to the wrong back-end server.*
+
 
 ## Initializing a Repo client ##