---

echo "=== Intel HDA ==="
grep -E '^CONFIG_(SND_HDA_INTEL|SND_HDA_CODEC_REALTEK|SND_HDA_CODEC_HDMI|SND_HDA_CORE)=' /boot/config-7.2.8

echo "=== Intel SOF ==="
grep -E '^CONFIG_(SND_SOC_SOF_TIGERLAKE|SND_SOF_PCI_INTEL_TGL|SND_SOC_SOF_HDA_LINK|SND_SOC_SOF_HDA_AUDIO_CODEC)=' /boot/config-7.2.8

echo "=== SoundWire ==="
grep -E '^CONFIG_SOUNDWIRE=|^CONFIG_SOUNDWIRE_INTEL=' /boot/config-7.2.8

echo "=== Audio drivers ==="
find /lib/modules/7.2.8/kernel/sound -name 'snd-hda-intel.ko*' -o -name 'snd-sof-pci-intel-tgl.ko*'