Lines Matching refs:kernel

1 # Microdroid kernel
3 This directory contains prebuilt images of the Linux kernel that is used in
4 Microdroid. The kernel is built from the same source tree as Generic Kernel
6 turned off to make the kernel fast & slim.
13 repo init -u https://android.googlesource.com/kernel/manifest -b common-android14-6.1
32 [`--config=fast`](https://android.googlesource.com/kernel/build/+/refs/heads/main/kleaf/docs/fast.m…
38 ### Change the kernel configs
50 ## How to update Microdroid kernel prebuilts
54 Copy the built kernel image to the Android source tree directly, and build the virt APEX.
58 cp out/dist/Image <android_checkout>/packages/modules/Virtualization/microdroid/kernel/arm64/kernel…
63 …dist/bzImage <android_checkout>/packages/modules/Virtualization/microdroid/kernel/x86_64/kernel-6.1
75 ANDROID_BUILD_TOP=<android_checkout> ./build/kernel/gki/download_from_ci  --update-microdroid -b <b…