New comment by BikyAlex on void-packages repository

https://github.com/void-linux/void-packages/pull/23541#issuecomment-718138778

Comment:
I thank you for your work. I have built an image almost 1 month ago (aarch64-musl), it worked ok on the pi 4 8gb model, did some updates, but I couldn't run a GUI due to video acceleration, since I could not enable dtoverlay=vc4-kms-v3d. From what I read, the Pi 4 64bit OSes take their settings from /boot/firmware/config.txt, not the old /boot/config.txt (at least, that's what I've read and it is like this on Ubuntu 20.04 and 20.10). I tried creating a folder and copying the config there, but to no avail. Sway was telling me to enable vc4-kms-v3d, but when I did, it just wouldn't detect it (tried the fkms too, didn't work either). Also installed glu, mesa-dri, mesa and mesa-v3d-dri, but no dice. JWM wouldn't run either (well, it would startx, but would freeze completely), so it is a problem with video acceleration (or I may just be dumb and it was an easy fix). What I did not try is change other settings, like overclocking for example, to see if Void takes any configurations from /boot/config.txt (and I have borked my installation, because I removed the rpi-kernel-4.9).

Anyway, if anyone wants my aarch64-musl image (built on 20200930), I could upload it somewhere. I have installed it with /boot on a 2gb SD card and / on a 256 gb nvme ssd in a usb 3 enclosure. Boots in 9 seconds to the tty login screen. I haven't used it more than 5 or 6 days combined. For the last 5 days I've been running Ubuntu 20.04 (and now 20.10) on a 32gb SD card (boots in 29sec, programs startup is kinda sluggish, works ok after they have been launched, it's an ok desktop experience, but I really wish I could run Void (and run it from my ssd).

Is there any way I can contribute to this development? I don't have any programming experience, but I can borrow my Pi remotely (I'll make a VPN and allow people to remote to my Pi) or help flash images on my SSD and test stuff.