New comment by MGlolenstine on void-packages repository https://github.com/void-linux/void-packages/pull/23541#issuecomment-671088943 Comment: > > So I'm correct to be compiling that package on my laptop? > > Indeed! Great! Image has been built! I'm unsure why it says `rpi3`, but when I flash the `img` one to an microSD card and put it in a RPi4, I'm stuck on rainbow screen. I'm also getting some errors about `aarch64` repositories missing when running `./xbps-src -a aarch64 pkg rpi-kernel`.