Re: [Trisquel-users] Allow switching between kernels in GRUB

[jason]

Adding repositories for other distros is probably not a good idea as it can  
result in problems.

Also, what do you need the "other" kernel for?