I had a tv connected (hotplugged as well as during bootime) - but no hdmi showed up in sound menu (at the moment there is no hdmi device available for testing).
I had a tv connected (hotplugged as well as during bootime) - but no hdmi showed up in sound menu (at the moment there is no hdmi device available for testing).