Eu ainda acho que um recém-chegado não deve compilar os próprios pilotos, então entenda que este é um processo em que muitos podem dar errado e você faz isso por sua conta e risco.
Para começar, você deseja instalar as ferramentas adequadas para isso. Para fazer isso, abra um terminal ( ctrl + alt + t ):
sudo apt-get install build-essential autogen automake make xutils-dev autoconf libtool autoconf-2.64 automake xorg-server-devel xorg-server-utils xorg-util-macros
git clone https://github.com/mmind/xf86-video-armsoc.git
cd xf86-video-armsoc/
Agora você deve estar configurado para compilar seu driver. Primeiro execute o comando sh autogen.sh - isto irá criar os arquivos necessários e configurá-los.
Então você corre
./configure --with-drmmode=pl111
ou
./configure --with-drmmode=exynos
dependendo de qual driver você deseja construir.
Se o processo de configuração parar em um erro, verifique as últimas linhas nas quais as dependências estão ausentes e instale-as. A maneira mais fácil de encontrar esses está em execução
apt-cache search <name>
Na maioria dos casos, você obterá uma lista bastante longa e precisará percorrê-la para localizar os nomes de pacotes apropriados a serem instalados. Isso é feito então com
sudo apt-get install <packagename>
Execute novamente o configure quantas vezes precisar até que ele termine sem erros.
Agora que você configurou sua compilação, você pode usar o comando make para compilar seu driver seguido por sudo make install para instalá-lo.