commit 2d41e901df2064f66dd374f3afe0c6f2e786e9b8
author Jiyong Park <jiyong@google.com> Mon Nov 14 19:14:34 2022 +0900
committer Jiyong Park <jiyong@google.com> Mon Nov 14 19:14:34 2022 +0900
tree bb80529af8066205422864fb65d16be3d3e6b7c9
parent 2177d6226e7b2bf5d7273420c453ce5a6452ad6a

Update the doc about configuring the kernel using kleaf

Added missing -- separator.

Bug: 254927882
Test: N/A
Change-Id: I7be8b55bdd93f2637ab54401eaaef4b3c9c45f31

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