From cfd811dc4a0922f0d7196c146419b35eb5e7ad89 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?tjado=20m=C3=A4cke?= <tjado@maecke.de>
Date: Wed, 28 Sep 2022 21:20:40 +0200
Subject: [PATCH] Add kernel folder info for redbull

---
 static/build.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index a7899b5a..8645cf40 100644
--- a/static/build.html
+++ b/static/build.html
@@ -436,7 +436,8 @@ repo sync -j16</pre>
                         <pre>BUILD_CONFIG=private/msm-google/build.config.redbull.vintf build/build.sh</pre>
 
                         <p>Replace the files in the OS source tree at
-                        <code>device/google/redbull-kernel/</code> with your build in
+                        <code>device/google/redbull-kernel/</code> (userdebug/eng) and
+                        <code>device/google/redbull-kernel/vintf/</code> (user) with your build in
                         <code>out/android-msm-pixel-4.19/dist/</code>.</p>
                     </section>