commit adec7aa4804997377983ba6e61e805f93cbbfad2
author Daniel Wang <wonderfly@google.com> Thu Mar 19 11:27:06 2020 -0700
committer Daniel Wang <wonderfly@google.com> Fri Mar 20 10:27:18 2020 -0700
tree b49d0eb0b8aa566794cb3ada06ca64595a4d6a2c
parent 988052e9bd2e844b6aef210861216844b5175368

manifest: Add the kernel repo

BUG=b/143358600
TEST=`repo sync` checks out the kernel to the correct location.

Change-Id: I8d672e52f9a98bb11a603cba132c579b61aa9625

external_full.xml

diff --git a/external_full.xml b/external_full.xml
index 722531f..4387582 100644
--- a/external_full.xml
+++ b/external_full.xml
@@ -70,12 +70,9 @@
   <project path="manifest" name="cos/manifest" >
       <copyfile src="LICENSE" dest="LICENSE" />
   </project>
-
-  <!--
-     -<project path="src/third_party/kernel"
-     -         name="third_party/kernel"
-     -         revision="refs/heads/lakitu-4.19" />
-     -->
+  <project path="src/third_party/kernel/v4.19"
+           name="third_party/kernel"
+           revision="refs/heads/cos-4.19" />
 
   <repo-hooks enabled-list="pre-upload"
            in-project="mirrors/cros/chromiumos/repohooks" />