commit d81631c9823a21c2df13f3f26f3fb35e1a83f912
author Inseob Kim <inseob@google.com> Tue Dec 13 11:48:14 2022 +0900
committer Inseob Kim <inseob@google.com> Tue Dec 13 11:48:14 2022 +0900
tree 01727e7b222f755e461b95da68218393b73cfa00
parent e00307b35d6f499ebf8ed86d8114cc1227e112d0

Fix kernel branch name in README

Test: follow the instruction
Change-Id: If39f15a93961128e5bffcfee26394e09f4435ef2

microdroid/kernel/README.md

diff --git a/microdroid/kernel/README.md b/microdroid/kernel/README.md
index 44f828c..12d8770 100644
--- a/microdroid/kernel/README.md
+++ b/microdroid/kernel/README.md
@@ -10,7 +10,7 @@
 ### Checkout the GKI source code.
 
 ```bash
-repo init -u https://android.googlesource.com/kernel/manifest -b android14-5.15
+repo init -u https://android.googlesource.com/kernel/manifest -b common-android14-5.15
 repo sync
 ```