Un #kernel real-time libre para !trisquel belenos

He compilado un kernel con el parche real-time (con sus headers) para ediciones musicales, basado en la versión libre 4.8.15 y el parche rt10, pero solo para arquitecturas amd64. Si alguien lo necesita, aquí el enlace de descarga:

https://quitter.cat/url/192378

https://quitter.cat/url/192379