Install kernel 3.12.4 for Ubuntu/Debian 32 bit systems

TuxI have compiled yet another Ubuntu/Debian kernel for 32 bit systems. This time kernel 3.12.0-7-exton, equivalent to’s second latest kernel 3.12.4, released 131209.

Feature OVERVIEW for the Linux 3.12 kernel

Install kernel 3.12.0-7-exton in Ubuntu/Debian based distributions
My self-compiled Ubuntu kernels can be used in all types of modern Ubuntu systems, including Mint. They can even be used in Debian Wheezy (Debian 7) and Debian Jessie (upcoming Debian 8?). If you want to use my kernel 3.12.0-7-exton for 32 bit systems, you can DOWNLOAD it from here.

for, which is of 59,4 MB.

Installation instructions
Open the zip-file with WinZip, WinRAR or 7-Zip. Go into the folder ubuntu-kernel-32bit-3.12.0-7-exton and run this command:
sudo dpkg -i linux-headers-3.12.0-7_3.12.0-7.15_all.deb \
linux-headers-3.12.0-7-exton_3.12.0-7.15_i386.deb \

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

A small clarification

“My” kernel 3.12.0-7-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 a Ubuntu/Debian system.

Good luck!

exton  /131214


One thought on “Install kernel 3.12.4 for Ubuntu/Debian 32 bit systems

Leave a Reply

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

You are commenting using your 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