tree 9d23f8a84f70375f823fc928c126038cb9dd5035
parent 3363a0b8d66e52f1e8eacd983f661ac385a72e1a
author Steve Muckle <smuckle@google.com> 1583967787 -0700
committer Steve Muckle <smuckle@google.com> 1585074477 -0700

support multiple kernels, boot.img output

In order to enable the delivery of multiple kernel variants with
a platform build, add support for generating boot.img files from
multiple kernels.

The BOARD_KERNEL_BINARIES macro may be defined as a list of kernel
binaries to be used (if not, the original behavior and assumption of a
single kernel binary is preserved). Each kernel binary filename
must begin with "kernel". Any extra text in the filename is appended
to the boot.img name, so "kernel-gz" would generate "boot-gz.img".

Bug: 151094943
Change-Id: Icbbf227e9561f4aa11ce10db8d7aa81c7a81eb5b