Yet another Ubuntu 3.5 kernel – 32bit

UbuntuNEWS 120807: A new 3.5 kernel for ExLight 12.04 Linux 32bit and other Ubuntu 32bit systems

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-8.8-exton_i386.

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-8.8-exton. It is now possible to install VirtualBox and proprietary hardware drivers with only kernel-headers-3.5.0-8.8-exton installed. Ie full kernel sources are not needed.

A. Get the kernel linux-image-3.5.0-8-exton_3.5.0-8.8_i386.deb
B. Get kernel-headers-exton linux-headers-3.5.0-8-exton_3.5.0-8.8_i386.deb
C. Get kernel-headers-all linux-headers-3.5.0-8_3.5.0-8.8_all.deb

Install command: sudo dpkg -i linux-headers-3.5.0-8_3.5.0-8.8_all.deb linux-headers-3.5.0-8-exton_3.5.0-8.8_i386.deb linux-image-3.5.0-8-exton_3.5.0-8.8_i386.deb   

Then: Run the command sudo update-grub (if you use Grub2)

A small clarification
“My” kernel 3.5.0-8.8-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.

Good luck!

exton /120807

Contact with exton