Collection of tools for hdmi-cec