I’ve recently been trying to get Fedora working with the RPi’s sense expansion hat but have run into some issues. My first instinct was to play around with device tree overlays using /boot/efi/config.txt but have had no luck. I was wondering if anyone here has any insights into device tree overlays for the RPi that could help me out.