From 0fa7e539e4b7608172a6a8afc2fd277f27cb6e25 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Mon, 29 Apr 2019 12:20:12 -0400
Subject: [PATCH] add Pixel and Pixel XL to kernel repo paragraph

---
 static/build.html | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/static/build.html b/static/build.html
index f98282d9..99bfd78b 100644
--- a/static/build.html
+++ b/static/build.html
@@ -159,9 +159,10 @@ git am ../chromium_patches/*.patch</pre>
             <pre>cd kernel/google/crosshatch
 ./build.sh blueline</pre>
 
-            <p>The <code>kernel/google/wahoo</code> repository is for the Pixel 2 and Pixel 2 XL
-            and the <code>kernel/google/crosshatch</code> repository is for the Pixel 3 and Pixel
-            3 XL.</p>
+            <p>The <code>kernel/google/marlin</code> repository is for the Pixel and Pixel XL, the
+            <code>kernel/google/wahoo</code> repository is for the Pixel 2 and Pixel 2 XL and the
+            <code>kernel/google/crosshatch</code> repository is for the Pixel 3 and Pixel 3
+            XL.</p>
 
             <p><em>For the first generation Pixel (sailfish) and Pixel XL (marlin), signed
             releases require building the verity public key into the kernel so the keys need to be