commit e8cb193883aa81f9fddcd7565907e8fb4d9a3cfe
author Nikita Ioffe <ioffe@google.com> Thu Jan 11 10:29:23 2024 +0000
committer Nikita Ioffe <ioffe@google.com> Thu Jan 11 10:29:23 2024 +0000
tree 7c07f450b4f89c8fd6b791dd915504121ba56e96
parent 85797566fb53dd37da59778181c4802fbf7cac11

Update documentation on how to build microdroid kernel

Bug: 317201718
Test: n/a
Change-Id: I8c40d8d440addcaf9a4acf7927d7c413a8b34c68

microdroid/kernel/README.md

diff --git a/microdroid/kernel/README.md b/microdroid/kernel/README.md
index 78ac81b..92b7cfe 100644
--- a/microdroid/kernel/README.md
+++ b/microdroid/kernel/README.md
@@ -19,13 +19,13 @@
 For ARM64
 ```bash
 tools/bazel clean
-tools/bazel run --config=fast --lto=thin //common-modules/virtual-device:microdroid_aarch64_dist -- --dist_dir=out/dist
+tooln/bazel run --config=fast //common:kernel_aarch64_microdroid_dist -- --dist_dir=out/dist
 ```
 
 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
+tools/bazel run --config=fast //common:kernel_x86_64_microdroid_dist -- --dist_dir=out/dist
 ```
 
 Note that
@@ -39,12 +39,12 @@
 
 For ARM64
 ```bash
-tools/bazel run //common-modules/virtual-device:microdroid_aarch64_config -- menuconfig
+tools/bazel run //common:kernel_aarch64_microdroid_config -- menuconfig
 ```
 
 For x86\_64
 ```bash
-tools/bazel run //common-modules/virtual-device:microdroid_x86_64_config -- menuconfig
+tools/bazel run //common:kernel_x86_64_microdroid_config -- menuconfig
 ```
 
 ## How to update Microdroid kernel prebuilts