Hello John,
Having long wanted to run genode on real hardware, I acquired a Lenovo Thinkpad T480s. Everything seems to work well except that no sound is produced through either speakers or headphones. In particular, I have tried both falkon and chocolatedoom after adding the mixer and audio options. The Fn keys don't seem to alter the situation.
reports/log shows
[runtime -> audio] azalia0 [8087:9d71] [runtime -> audio] : [runtime -> audio] : azalia0: codecs: Realtek ALC257 ... [runtime -> audio] : audio0 at azalia0
Could you please make sure to avoid restarting the driver (switching between different presets where the driver is not included) and keep it running during your testing. Restarting the driver can lead to the behaviour you observed, i.e. no sound but the LOG suggest that everything is fine, and you have to reset the machine.
Any suggestions as to what I might to do to investigate further?
As a first step please look into the the driver's report[1] and check—for example by using the system_shell in the window manager preset as starting point—the various 'outputs' eintries, especially 'outputs.mute' (should be false) and 'outputs.spkr_mute' (should be off).
Those entries can configure the driver when set in the launcher[2] file directly but you normally should not have to alter them.
[1] /report/runtime/audio/mixer_state [2] /config/launcher/audio
Best regards Josef