commit 2acbb012030b59d677a4eae26053d21f2c3ea05a
author Treehugger Robot <treehugger-gerrit@google.com> Mon Nov 14 08:34:15 2022 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Mon Nov 14 08:34:15 2022 +0000
tree 79887b8c3f7273e1c4dc26c8880ec69449261770
parent 564dcfbaad99d7abb2c5f2368d6f13d197f61282
parent b281406ce6d8bd509fee5a93d7994535938ab95e

Merge "virtualizationservice: Add crashkernel=17M when launching VM"

microdroid/kernel/README.md

diff --git a/microdroid/kernel/README.md b/microdroid/kernel/README.md
index 1f6b2ee..38eca71 100644
--- a/microdroid/kernel/README.md
+++ b/microdroid/kernel/README.md
@@ -24,6 +24,7 @@
 
 For x86\_64,
 ```bash
+tools/bazel clean
 tools/bazel run --config=fast --lto=thin //common-modules/virtual-device:microdroid_x86_64_dist -- --dist_dir=out/dist
 ```
 
@@ -36,7 +37,15 @@
 
 ### Change the kernel configs
 
+For ARM64
+```bash
+tools/bazel run //common-modules/virtual-device:microdroid_aarch64_config menuconfig
+```
 
+For x86\_64
+```bash
+tools/bazel run //common-modules/virtual-device:microdroid_x86_64_config menuconfig
+```
 
 ## How to update Microdroid kernel prebuilts