tree 81bfdb79104ed0b927bab12dfb50bf6a28706258
parent 6bf4a7d0be45b720dae92249aab72c58247e3e72
author Steve Muckle <smuckle@google.com> 1581543508 -0800
committer Steve Muckle <smuckle@google.com> 1583348096 -0800

initial GKI boot.img support

The GKI boot.img should be generated alongside the GSI. To make this
possible, define a flag (TARGET_NO_VENDOR_BOOT) that can be used to
disable the generation of the vendor_boot image.

Bug: 138323550
Change-Id: I91181853b26815e68a2fa2216b68579780d034dc