Есть Raspberry Pi 4 c Fedora Minimal на борту. Поставил sway, mesa, vulkan. В config.txt прописал dtoverlay=vc4-kms-v3d-rpi4, но драйвер все равно llvmpipe. Вроде lsmod говорит, что vc4 подгружен, но графоний лагает, vulkaninfo говорит, что у тебя lavapipe и крашится.
Будет здорово, если кто-то завёл и может поделиться инфой.