| commit | 9b2761dac62ef47645626024d1e537bf1b2c8337 | [log] [tgz] |
|---|---|---|
| author | Dmitry Shmidt <dimitrysh@google.com> | Wed Mar 21 13:40:51 2018 -0700 |
| committer | Dmitry Shmidt <dimitrysh@google.com> | Thu Mar 22 10:17:46 2018 -0700 |
| tree | d235589d2dcf48b1527916cb8dbd573cbe4d92a5 | |
| parent | 596531d15ecfeddb7a9d772de30d77fc33db74cd [diff] |
hikey: Switch to compressed kernel New UEFI knows how to support compressed and non-compressed images. To use non-compressed one define TARGET_COMPRESSED_KERNEL=false Bug: 72826137 Test: Manual Change-Id: Ifc54401096c241fca138d7e6e50329eb2e72b901 Signed-off-by: Dmitry Shmidt <dimitrysh@google.com>