ANDROID: add 16k targets for Microdroid kernel
Bug: 317201718
Test: tools/bazel run //common:kernel_aarch64_microdroid_16k_dist
Change-Id: If4eb1bd2db57f9e1b0dfceac1bc13b7eeca7d384
Signed-off-by:
Nikita Ioffe <ioffe@google.com>
Loading
Please sign in to comment