Re: [Trisquel-users] Linux-Libre RT (Real-Time) PPA launched

[dns]

copy & paste this into your terminal: sudo apt-add-repository  
ppa:linux-libre/rt-ppa; sudo apt-get update; sudo apt-get install  
linux-libre-rt; sudo apt-get dist-upgrade

:-)