I have compiled a new 3.5 kernel for ExLight 12.04 32bit, Ubuntu Barbone 12.04 Exton Remix 32bit or Linux Mint 10, 11, 12 and 13 32bit. The full name of the new kernel is 3.5.0-3.3-exton_i386. It is the same as Kernel.org’s 3.5-rc5.
A better kernel
Nothing is so good that it can not be improved (as the saying goes). This also applies to “my” compiled Ubuntu kernels. A disadvantage of my (former) Ubuntu kernels was that you could not install such packages as VirtualBox or Nvidia’s proprietary drivers, which require kernel sources at installation. I have now discovered a better way to compile the kernel, which includes absolutely all specific Ubuntu patches. The above mentioned problem is thus solved in kernel 3.5.0-3.3-exton (3.5-rc5). It is now possible to install VirtualBox and proprietary hardware drivers with only kernel-headers-3.5.0-3.3-exton installed. Ie full kernel sources are not needed.
A. Get the kernel linux-image-3.5.0-3-exton_3.5.0-3.3_i386.deb
B. Get kernel-headers-exton linux-headers-3.5.0-3-exton_3.5.0-3.3_i386.deb
C. Get kernel-headers-all linux-headers-3.5.0-3_3.5.0-3.3_all.deb
Install command: sudo dpkg -i linux-headers-3.5.0-3_3.5.0-3.3_all.deb linux-headers-3.5.0-3-exton_3.5.0-3.3_i386.deb linux-image-3.5.0-3-exton_3.5.0-3.3_i386.deb
Then: Run command sudo update-grub (if you use Grub 2)
A small clarification
“My” kernel 3.5.0-3.3-exton is compiled exactly the same way as all official Ubuntu kernels. That is, The Ubuntu Way. If not, the kernel would not function in an Ubuntu system.