On Tue, Jul 23, 2013 at 8:15 PM, Robert Winkler <robert.winkler at boundarydevices.com> wrote: > Incidentally, I just grepped for CONFIG_CMD_HDMIDETECT and I don't see it > documented anywhere. It should probably be added to the README Yes, looks like a good idea.