Ubuntu 20.04: No sound

Tue May 19 11:23:44 UTC 2020

Am Dienstag, den 19.05.2020, 11:42 +0100 schrieb Grizzly via ubuntu-
users:
> 19 May 2020  at 10:16, Volker Wysk wrote:
> Re: Ubuntu 20.04: No sound (at least in part)
> 
> > Am Montag, den 18.05.2020, 23:52 +0200 schrieb Liam Proven:
> > > On Mon, 18 May 2020 at 23:44, Volker Wysk <post at volker-wysk.de>
> > > wrote:
> > > > Any hints?
> 
> Is it possible that it got turned off in BIOS?

I've examined the BIOS. There aren't many settings there. There isn't
anything about sound.

Regards,
Volker