Update the Microdroid kernel build instructions
We now use kleaf.
Bug: 254927882
Test: follow the instruction
Change-Id: Idbb5ded27a2c371dffc53e9954884b41df705f22
diff --git a/docs/getting_started/index.md b/docs/getting_started/index.md
index 3e3bf97..245aba6 100644
--- a/docs/getting_started/index.md
+++ b/docs/getting_started/index.md
@@ -150,25 +150,4 @@
## 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-android14-5.15
-repo sync
-FAST_BUILD=1 BUILD_CONFIG=common-modules/virtual-device/build.config.microdroid.aarch64 build/build.sh
-```
-
-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>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel-5.15
-```
-
-Finally rebuild the `com.android.virt` APEX and install it by following the
-steps shown in [Building and updating Crosvm and
-Virtualization](#building-and-updating).
+The instruction is [here](../../microdroid/kernel/README.md).
diff --git a/microdroid/kernel/README.md b/microdroid/kernel/README.md
index 4c6a827..1f6b2ee 100644
--- a/microdroid/kernel/README.md
+++ b/microdroid/kernel/README.md
@@ -18,15 +18,25 @@
For ARM64
```bash
-FAST_BUILD=1 BUILD_CONFIG=common-modules/virtual-device/build.config.microdroid.aarch64 build/build.sh
+tools/bazel clean
+tools/bazel run --config=fast --lto=thin //common-modules/virtual-device:microdroid_aarch64_dist -- --dist_dir=out/dist
```
For x86\_64,
```bash
-FAST_BUILD=1 BUILD_CONFIG=common-modules/virtual-device/build.config.microdroid.x86_64 build/build.sh
+tools/bazel run --config=fast --lto=thin //common-modules/virtual-device:microdroid_x86_64_dist -- --dist_dir=out/dist
```
-Note that `FAST_BUILD=1` is not mandatory, but will make your build much faster.
+Note that
+[`--config=fast`](https://android.googlesource.com/kernel/build/+/refs/heads/master/kleaf/docs/fast.md)
+is not mandatory, but will make your build much faster.
+
+The build may fail in case you are doing an incremental build and the config has changed (b/257288175). Until that issue
+is fixed, do the clean build by invoking `tools/bazel clean` before the build command.
+
+### Change the kernel configs
+
+
## How to update Microdroid kernel prebuilts
@@ -36,12 +46,12 @@
For ARM64,
```bash
-cp out/android14-5.15/dist/Image <android_checkout>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel-5.15
+cp out/dist/Image <android_checkout>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel-5.15
```
For x86\_64,
```bash
-cp out/android14-5.15/dist/bzImage <android_checkout>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel-5.15
+cp out/dist/bzImage <android_checkout>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel-5.15
```
### For official updates