Re: [Trisquel-users] is a real time kernel available for 6.0

[jbar]

OK, you have linux-libre-rt installed.
Now you have to reboot and select that kernel. Keep pressed the shift key  
when grub starts and select it. Check with 'uname -a' that the kernel  
currently used is linux-libre-rt.