Document how to change the kernel config of microdroid kernels

Bug: 254927882
Test: N/A
Change-Id: Ie14256695b36ef20c3856e7cc83888e8151a6041
This commit is contained in:
Jiyong Park 2022-11-14 11:47:01 +09:00
parent fdfe8038ac
commit a29b27ec1e
1 changed files with 9 additions and 0 deletions

View File

@ -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