[19:14] <orated> How can I use linux kernel 3.1 on Ubuntu 11.10? Should I try http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.1.5-precise/ ?
[19:17] <JanC> orated: if you want a newer kernel for some reason, that's a good place to get them
[19:18] <JanC> but remember that it is not officially supported
[19:18] <orated> JanC: I came to know that 3.1 resolved performance issues with Sandy bridge procs, so for that reason I need new kernel. So should I u
[19:18] <orated> ah
[19:19] <orated> Well, any ppa for the same then?
[19:19] <JanC> in that case, you might try it
[19:19] <JanC> this is the best place to get it
[19:19] <JanC> just, there is no guaranteed security updates etc.
[19:20] <orated> until ubuntu packages it?
[19:21] <JanC> those packages are actually made by the Ubuntu kernel developers, but in case of security bugs, the officially supported kernel (which is 3.0 in oneiric) has precedence of course...
[19:22] <orated> And what other things apart from that?
[19:22] <JanC> there might be some drivers missing, as those are mainline builds
[19:23] <JanC> drivers that are not in mainline yet
[19:23] <JanC> most likely because those drivers aren't very stable yet  ;)
[19:24] <JanC> orated: you could try if the mainline builds work well
[19:24] <orated> https://wiki.ubuntu.com/Kernel/MainlineBuilds is there any wiki like that for 3.1?
[19:24] <orated> But if it doesn't than it may perform poorer than its performing now
[19:25] <JanC> you can always install/remove other kernels, or select a different kernel in the grub boot menu...
[19:25] <orated> ah, right
[19:25] <orated> Ok. So, this is what I'll try now and then get back to you - wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.1-oneiric/linux-headers-3.1.0-030100_3.1.0-030100.201110241006_all.deb
[19:26] <orated> followed by - sudo dpkg -i linux-headers-3.1.0-030100_3.1.0-030100.201110241006_all.deb
[19:26] <orated> right?
[19:26] <JanC> orated: if the default kernel doesn't work well, it might be a trade-off to use that one indeed
[19:26] <JanC> and I'm not sure i will be around later, but you can try  ;)
[19:27] <orated> Ah-ok. Thanks.. I hope it doesn't mess things badly
[19:28] <JanC> orated: you can always hold the shoft key during boot to get into the grub boot menu, and then select a 3.0 kernel to boot if the new one is worse  ;)
[19:28] <JanC> *shift key*
[19:28] <orated> Yeah, I can do that. I remember :)
[19:29] <orated> I'll get back, cya
[19:39] <orated> Hey JanC. I installed kernel 3.1 but I don't see that option in grub. I'm still on 3.0
[19:40] <orated> uname -r returns 3.0.0-14-generic