[SOLVED] No analogue audio output device option on RPi 4B

[walt]

Thank you for helping (again ) Nachteule. That sounded familiar and indeed, I had tried that one (and a bunch of other things) before. However, when I do this and reboot the Pi, it starts Kodi but then the TV screen goes black and it doesn't get any signal anymore.

This is the Kodi logfile after that happened: https://www.dropbox.com/scl/fi/0tbitqqrobi03mva2ihh6/kodi_2.log?rlkey=t582ysy2bkpbqyd106hpnexlz&dl=0

EDIT: fyi, the HDMI cable was still properly in place (HDMI port 0, the one next to the power supply USB-C port); after removing the line from /boot/config.txt, things returned back to normal (except for the analogue audio issue of course)