Dear, I would like to enable support for play-back of 10-bit video content, and the decoder supports H.265 Main10 profile with level 5.1 and the HDMI output supports 10-bit video over its link. What I am unsure of is whether Android needs different "configuration", by setting some defines ...