The documentation seems a bit spotty regarding software support. Are there any in-tree/out-of-tree kernel modules handling HDMI CEC and everything else? What about userspace? Only pinctrl for the (Braswell side) GPIOs is mentioned in the docs. As an aside, @Andrea Rovai you said UDOO would be releasing the BoM and full schematics once the shipping started, but I couldn't find them. Did you actually release them? Thanks
I saw that they just updated the documentation with this information: http://www.udoo.org/docs-x86/Hardware_Reference/Resources.html
