[SOLVED] no soundcards on raspberry-pi

[potuz]

Hello I'm new to arch coming from Gentoo. On a raspberry-pi I get

$this->bbcode_second_pass_code('', '
# aplay -l
aplay: device_list:272: no soundcards found...
# lsmod | grep snd
snd_bcm2835 32768 0
snd_pcm 90112 1 snd_bcm2835
snd_timer 32768 1 snd_pcm
snd 65536 3 snd_timer,snd_bcm2835,snd_pcm
')
I suppose this is because of an update without /boot mounted but I do not know which package should I reinstal. I already tried alsa-lib and I know it's not the kernel:
$this->bbcode_second_pass_code('', '
# uname -a
Linux whiskey 4.19.25-2-ARCH #1 SMP PREEMPT Tue Feb 26 01:20:52 UTC 2019 armv7l GNU/Linux
# pacman -Q linux-raspberrypi
linux-raspberrypi 4.19.25-2
')
I'd appreciate any help

[potuz]

It turns out that I was needing dtparam=audio=on on config.txt. I do not know why this wasn't needed before

[idiotdream]

hi,have you resolved that problem?
i have the same trouble on a rock64 board like this:

# aplay -l
aplay: device_list:272: no soundcards found...
#lsmod | grep snd
snd_soc_hdmi_codec 20480 0
snd_soc_rockchip_spdif 16384 0

no sound could put out neither for 3.5mm nor hdmi
can you give any help? thanks!