diff options
| author | 2019-01-09 16:12:38 +0000 | |
|---|---|---|
| committer | 2019-01-09 16:12:38 +0000 | |
| commit | ac952ee4d7f047946bc3c75991b36d84ed97461f (patch) | |
| tree | 20c52d0abc040a1124cf3306b048a66bc5c265a6 /tools/extract_kernel.py | |
| parent | fe9f373e109ed3bf19860262eeedb035b21cff23 (diff) | |
Enable 64-bit mediadrmserver for mainline
This flag turns on 64-bit mediadrmserver for mainline. Keep the default
value for GSI for now.
Bug: 80410283
Test: make
Change-Id: Ie09b258f140b56121e4b531775b2a052b4dc6c15
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions