Merge "Document how to change the kernel config of microdroid kernels"

This commit is contained in:
Treehugger Robot 2022-11-14 03:56:55 +00:00 committed by Gerrit Code Review
commit 564dcfbaad
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