From a29b27ec1e2915bce0eac3c3c97d7057767acb58 Mon Sep 17 00:00:00 2001 From: Jiyong Park Date: Mon, 14 Nov 2022 11:47:01 +0900 Subject: [PATCH] Document how to change the kernel config of microdroid kernels Bug: 254927882 Test: N/A Change-Id: Ie14256695b36ef20c3856e7cc83888e8151a6041 --- microdroid/kernel/README.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/microdroid/kernel/README.md b/microdroid/kernel/README.md index 1f6b2ee6..38eca71e 100644 --- a/microdroid/kernel/README.md +++ b/microdroid/kernel/README.md @@ -24,6 +24,7 @@ tools/bazel run --config=fast --lto=thin //common-modules/virtual-device:microdr 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 @@ is fixed, do the clean build by invoking `tools/bazel clean` before the build co ### 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