File:Embedded Digital TV Kernel Pipelines via Media Controller API.pdf