There seem to be redundant accelerated video module options for the Raspberry Pi 3.
I read that the Raspberry Pi uses a device tree (a rather clever solution for ARM systems which do not have the standardized PCI bus).
There are two different kernel device tree overlays/modules to pick from that can be enabled as kernel parameters.
From my understanding, one of them can be enabled under
Meanwhile, the Arch Linux ARM Wiki says to do this:
The X.org driver for Raspberry Pi can be installed with the
What is the definitive way of getting graphics working in X.org?
- I also read that the vc4 driver does not use the
gpu_memparameter, confusing things a bit.
xf86-video-fbturbo-gitis a derivative of
xf86-video-fbdevthat was made specially for ARM devices. https://github.com/ssvb/xf86-video-fbturbo