Would it be easy/a good idea to change the kernel used in Pure OS? I’m wondering if having the latest kernel is the best idea, and wanted to try one that had more testing. I was thinking of adding jxself’s linux-libre repository, and installing the LTS kernel. I wanted to make sure that this wouldn’t be catastrophic for my current Pure OS installation.
I’m pretty sure that installing a packaged kernel (one found in a Debian package) may add it to your boot menu automatically, and should show up there. You should be able to select alternate kernels, including the one you were already using.
If you’re manually compiling the kernel yourself, you may need to move your new kernel to /boot/ and update grub to see the new listing.