Eu fiz uma compilação cruzada e instalei o kernel do Linux com o patch em tempo real, versão 3.18.16-rt13-v7 +, em um raspberrypi, mas não consigo encontrar a fonte atual do kernel em /usr/src . Então eu tentei o seguinte, sem sucesso:
pi@r...
10.03.2016 / 16:55