../libarmbox/hdmi_cec.cpp