No Sound on Raptor Lake

I have a new Samsung Galaxy Book 4 with an Intel Core 3 100u cpu.

The device is listed as Intel Raptor Lake-P/U/H cAVS

The audio does not work, with or without headphones (on Fedora).

inxi returns the audio as

Audio:
  Device-1: Intel Raptor Lake-P/U/H cAVS vendor: Samsung Co
    driver: sof-audio-pci-intel-tgl bus-ID: 00:1f.3 chip-ID: 8086:51ca
  API: ALSA v: k6.19.10-300.fc44.x86_64 status: kernel-api
  Server-1: PipeWire v: 1.6.2 status: active with: 1: pipewire-pulse
    status: active 2: wireplumber status: active 3: pipewire-alsa type: plugin
    4: pw-jack type: plugin

Any ideas?

I installed

alsa-sof-firmware

and it brought the sound.

sudo dnf install alsa-sof-firmware

and reboot.