No audio on T480s.

Dear Genodefolk,

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

etc

No errors are reported that I can see.

Any suggestions as to what I might to do to investigate further?

Thanks, John