How I got pulseaudio sound working with an X1 Carbon 7th Gen on Arch Linux

I tried following the instructions on the Arch Wiki and everywhere else I could find, but I kept having one of the following problems: No sound would play at allSound only came out of the bottom two speakersSound came out from all four speakers, but sounded tinny Here's my setup and how I solved it.… Continue reading How I got pulseaudio sound working with an X1 Carbon 7th Gen on Arch Linux