I did a lot of testing with linux 5.4.0-48: When the HDMI-TV is off at boot. The default sink isn't listed. But you can switch the output profile for the sink.
I did a lot of testing with linux 5.4.0-48: When the HDMI-TV is off at boot. The default sink isn't listed. But you can switch the output profile for the sink.