Aslında Debian, Ubuntu ve tüm türevleri ile Linux Mint sürümleri için güncel Linux çekirdeğine nasıl yükseltme yapılacağını irdeleyen bir yazı yazmış olduğumuz için bu tür özel yazılar yazmamıza gerek olmamasına karşın, kullanıcılardan gelen beklentiler nedeniyle hâlâ böyle yazılar yazıyoruz. Linux’un en son yayınlanan kararlı sürümü 4.12; 2 Temmuz 2017 tarihi itibariyle duyuruldu. Kernel 4.12’nin resmi duyurusunu Linus Torvalds yaptı. Bu yazıda, 4.12 Linux çekirdeğinin nasıl yükleneceğine değineceğiz. Bilindiği gibi, bir Linux çekirdeğini derlemek çok zor olduğundan, Canonical, tüm çekirdek sürümlerini .deb paketleri olarak paketliyor ve bunları kernel.ubuntu.com deposu aracılığıyla Ubuntu veya Ubuntu tabanlı sistemleri kullananların kullanımına sunuyor. Bunun için, Canonical’ın kernel.ubuntu.com deposu aracılığıyla kullanıma sunduğu .deb paketlerini kullanacağız. Söz konusu işlemleri yaparken; temel olarak Ubuntu ile Linux Mint, Elementary OS, Pinguy OS, Deepin, Peppermint, LXLE, Linux Lite, Voyager gibi Ubuntu türevi dağıtımları hesaba kattığımızı hatırlatalım.
32 bit sistemler için: 4.12 Linux çekirdeği 32 bit sistemlere aşağıdaki gibi yüklenir. İlkin gerekli paketleri indiriyoruz:
cd /tmp
wget \kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb \
wget \kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_i386.deb \
wget \kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_i386.deb
Şimdi 4.12 Linux çekirdeğini yükleyelim:
sudo dpkg -i linux-headers-4.12*.deb linux-image-4.12*.deb
Eğer gerek duyarsanız daha sonra çekirdeği kaldırmak için bu sayfadan yararlanabilir ya da aşağıdaki komutu verebilirsiniz.
sudo apt-get remove linux-headers-4.12* linux-image-4.12*
64 bit sistemler için: 4.12 Linux çekirdeği 64 bit sistemlere aşağıdaki gibi yüklenir. İlkin gerekli paketleri indiriyoruz:
cd /tmp
wget \kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb \
wget \kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb \
wget \kernel.ubuntu.com/~kernel-ppa/mainline/v4.12/linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb
Şimdi 4.12 Linux çekirdeğini yükleyelim:
sudo dpkg -i linux-headers-4.12*.deb linux-image-4.12*.deb
Eğer gerek duyarsanız daha sonra çekirdeği kaldırmak için bu sayfadan yararlanabilir ya da aşağıdaki komutu verebilirsiniz.
sudo apt-get remove linux-headers-4.12* linux-image-4.12*
MATE masaüstü ortamıyla kullanıma sunulan Ubuntu tabanlı bir dağıtım olan 
Tails’in 3.0.1 final sürümü duyuruldu. 
Tek kartlı bilgisayar Raspberry Pi için özel olarak tasarlanmış, Debian 
