Update instructions to build kernel for Microdroid
Bug: N/A
Test: N/A
Change-Id: I752ab49501eab622e6012cbd04c25c3547e7fdab
diff --git a/docs/getting_started/index.md b/docs/getting_started/index.md
index bfd5ccf..562c285 100644
--- a/docs/getting_started/index.md
+++ b/docs/getting_started/index.md
@@ -141,25 +141,25 @@
adb reboot
```
-## Building and updating GKI inside Microdroid
+## Building and updating kernel inside Microdroid
Checkout the Android common kernel and build it following the [official
guideline](https://source.android.com/setup/build/building-kernels).
```shell
mkdir android-kernel && cd android-kernel
-repo init -u https://android.googlesource.com/kernel/manifest -b common-android13-5.15
+repo init -u https://android.googlesource.com/kernel/manifest -b common-android14-5.15
repo sync
-FAST_BUILD=1 DIST_DIR=out/dist BUILD_CONFIG=common/build.config.gki.aarch64 build/build.sh -j80
+FAST_BUILD=1 DIST_DIR=out/dist BUILD_CONFIG=common/build.config.microdroid.aarch64 build/build.sh -j80
```
-Replace `build.config.gki.aarch64` with `build.config.gki.x86_64` if building
+Replace `build.config.microdroid.aarch64` with `build.config.microdroid.x86_64` if building
for x86.
Then copy the built kernel to the Android source tree.
```
-cp out/dist/Image <android_root>/kernel/prebuilts/5.15/arm64/kernel-5.15
+cp out/dist/Image <android_root>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel-5.15
```
Finally rebuild the `com.android.virt` APEX and install it by following the