大家好，
在dm8127 rdk3.2 环境下，
1 /dev/TI81XX_HDMI驱动如何使用？使用hdmi显示图片和视频应该如何调用hdmi相关？
TI81XX PSP HDMI Driver User Guide文档里面有：
- Example to configure the HDMI driver and start streaming of fbdev output through on-chip HDMI is explained in the application saFbdevHdmiDisplay.c 请问saFbdevHdmiDisplay.c文件哪里能够获取到？
2 在a8侧需要使用framebuffer机制来显示信息到hdmi吗？
谢谢各位，有没有什么文档可以指点下？谢谢