diff options
| author | 2020-07-29 14:15:18 -0700 | |
|---|---|---|
| committer | 2020-07-29 14:51:00 -0700 | |
| commit | e4aca26aefe2bf86af0200d72047c239036d6a23 (patch) | |
| tree | ad20f5323cd9a75e3d34b6c845125ed03f425f14 /tools/extract_kernel.py | |
| parent | 7c16b443c3cc60a19011f7ad259d7b177439772a (diff) | |
Add BOARD_KERNEL_BINARIES.
Test: use it
Bug: 161563386
Change-Id: Id07dffe7d8ef5122c7cf337b29fecba128fc7640
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions