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