commit 619f9585cfc7bcb1c5b9d21d7a74776e93d4fbb4
author Treehugger Robot <treehugger-gerrit@google.com> Mon Nov 14 12:08:55 2022 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Mon Nov 14 12:08:55 2022 +0000
tree e0d129b0c92c440d202dea2af63a794d7f68eb67
parent e5b221d93c15f4b0d7cd64ed4e3cf8c15d14fdcf
parent 2d41e901df2064f66dd374f3afe0c6f2e786e9b8

Merge "Update the doc about configuring the kernel using kleaf"

microdroid/kernel/README.md

diff --git a/microdroid/kernel/README.md b/microdroid/kernel/README.md
index 38eca71..44f828c 100644
--- a/microdroid/kernel/README.md
+++ b/microdroid/kernel/README.md
@@ -39,12 +39,12 @@
 
 For ARM64
 ```bash
-tools/bazel run //common-modules/virtual-device:microdroid_aarch64_config menuconfig
+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
+tools/bazel run //common-modules/virtual-device:microdroid_x86_64_config -- menuconfig
 ```
 
 ## How to update Microdroid kernel prebuilts