GPIO mode setting on BBB

Is not true that there is no way to modify the mux … only that more work and there are some rules to follow.

This file mapping pins that are claimed

/sys/kernel/debug/pinctrl/44e10800.pinmux/pinmux-pins

And how will not activate the serial “ttyO5” without loss of hdmi.

The discussion quoted above should help a lot.