tree 36509fb9d628c364f23d6b1608163ce3c27e140f
parent 118fd24f6209f85a39a6a5983d647ca97a64e978
author Hridya Valsaraju <hridya@google.com> 1534891880 -0700
committer Hridya Valsaraju <hridya@google.com> 1535398998 -0700

Make device_kernel_headers available to recovery and vendor

This is required to build the recovery variant of boot control HAL.

Bug: 78793464
Test: make
Change-Id: Ia5d7b1a97926acbe4ba89df26aeb66fac6bbb1ab