Hey,
I have no sound card except vc4-hdmi on my system. And that is kinda bad, as I would like to use my raspberry as a pulseaudio server. Anybody has an idea?
$this->bbcode_second_pass_code('', 'root@alarm /home/alarm # cat /proc/asound/cards
0 [vc4hdmi ]: vc4-hdmi - vc4-hdmi
vc4-hdmi
')
$this->bbcode_second_pass_code('', 'root@alarm /home/alarm # cat /boot/config.txt
dtparam=audio=on
')
$this->bbcode_second_pass_code('', 'root@alarm /home/alarm # lsmod
Module Size Used by
brcmfmac 311296 0
brcmutil 16384 1 brcmfmac
cfg80211 688128 1 brcmfmac
rfkill 32768 4 cfg80211
smsc95xx 40960 0
usbnet 53248 1 smsc95xx
mii 20480 2 usbnet,smsc95xx
vc4 163840 3
drm_kms_helper 192512 2 vc4
drm 421888 3 vc4,drm_kms_helper
syscopyarea 16384 1 drm_kms_helper
sysfillrect 16384 1 drm_kms_helper
sysimgblt 16384 1 drm_kms_helper
fb_sys_fops 16384 1 drm_kms_helper
pwm_bcm2835 16384 0
bcm2835_wdt 16384 0
i2c_bcm2835 16384 0
snd_bcm2835 36864 0
')