On Trisquel 6, which is already installed, he can save the deb package of Trisquel 6's kernel image in his home folder, upgrade to Trisquel 7 and then follow the steps I gave above. He can also first install GDebi on Trisquel 7 so that, after the upgrade, it is present as well on Trisquel 7 and allows to install the deb package by simply double-clicking on it.

Reply via email to