使用工具：source insight 3.5，total control， db数据库文件查看器
一，找变量
a80的安卓源码不是很标准，全志和MTK平台也有所不同，先通过使用更改设置来对比数据库的变化，使用的工具是total control，改变设置的前后，数据库会产生变化，我们只需要提取数据库文件就行了，
在dos输入adb shell，
接着输入adb pull /data/data/com.android.provides.settings/ .
在当前用户的目录databases中，即C:UsersRigheredatabases，可以找到settings.db,
分析变化就可以找到我们需要的设置的变量，hdmi的设置变量为HDMI_OUTPUT_MODE,
二，源码中找变量并修改
进入安卓源码目录当中，搜索HDMI_OUTPUT_MODE关键字，输入如下代码进行搜索，
$ grep --exclude-dir=".git" -rin "HDMI_OUTPUT_MODE" frameworks/
如上图中所示，我们找到了HDMI_OUTPUT_MODE相关的文件目录，最终确定安卓源码目录中的2个位置，
- android4.4frameworksaseservicesjavacomandroidserverdisplayDisplayManagerService.java
做下图所示的修改：
2. android4.4frameworksasepackagesSettingsProvider esvaluesdefaults.xml
进入内核当中修改，
lichee oolspackchipssun9iw1p1configsoptimussys_config.fex
注意到修改HDMI_OUTPUT_MODE的值当中，
0：480i
1：576i
2：480p
3：576p
4：720p 50帧
5：720p 60 帧
6：1080i 50帧
7：1080i 60帧
8：1080p 24帧
9：1080p 50帧
10：1080p 60帧
28：4K 30帧
29：4K 25帧
三，重新执行编译
先编译内核lichee，再编译安卓源码，打包后就是我们需要的hdmi的4k输出固件了