Hello everybody.
After launching a game (an Amiga one in case that matters) I noticed there was no sound. I have been playing all sort of emulators and had no problems at all with the sound until now: the sound is muted in every emulator, in EmulationStation and in Kodi. Sound levels are all the way up in ES settings, in AlsaMixer (executed via SSH as ctrl+alt+F4 or alt+F4 key combos do not work in my Pi 400) and in Retroarch. The audio device is also the correct one (HDMI output) in every mentioned mixer.
Does anybody know what could be wrong? All what I was doing when the sound went gone was launching games, no fiddling around with the settings. When running Pi OS the sound is working fine, so it is not caused by a hardware failure. I am using Batocera 30.