NEWS 120701: A new 3.5 kernel for ExTiX 10 Linux 64bit and other Ubuntu 64bit systems
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.