A new better Ubuntu kernel – 64bit


NEWS 120701: A new 3.5 kernel for ExTiX 10 Linux 64bit and other Ubuntu 64bit systems

I have compiled a new 3.5 kernel  for ExTiX 10 64bit, MeX Linux or Linux Mint 10, 11, 12 and 13. The full name of the new kernel is 3.5.0-2-exton_amd64. It is the same as Kernel.org’s 3.5-rc4.

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

A. Get the kernel linux-image-3.5.0-2-exton_3.5.0-2.2_amd64.deb
B. Get kernel-headers-exton linux-headers-3.5.0-2-exton_3.5.0-2.2_amd64.deb
C. Get kernel-headers-all linux-headers-3.5.0-2_3.5.0-2.2_all.deb

Install command: sudo dpkg -i linux-headers-3.5.0-2-exton_3.5.0-2.2_amd64.deb  linux-headers-3.5.0-2_3.5.0-2.2_all.deb  linux-image-3.5.0-2-exton_3.5.0-2.2_amd64.deb

Then: Run command sudo update-grub (if you use Grub 2)

A small clarification
“My” kernel 3.5.0-2-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 /120701

Contact with exton


4 thoughts on “A new better Ubuntu kernel – 64bit

  1. Hi Exton,

    Just wanted to say thank you for this new kernel. It has resolved several issues I was experiencing with the stock kernel. My wireless no longer disconnects and my shutdown speed is much faster. Thanks again. It is people like you that make Linux the great operating system that it is!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s