Kernel 3.12.0 dla zdeterminowanych
Bez problemu można się bowiem pokusić o zainstalowanie rzeczonego kernela z wykorzystaniem gotowych paczek deb, które musimy pobrać na dysk a potem ręcznie zainstalować (dpkg). Sposób ten zadziała dla każdej dystrybucji opartej o paczki deb, zatem szczęśliwymi posiadaczami ultranowoczesnego kernela mogą stać się użytkownicy Ubuntu, Minta, PearOS, Debiana, elementaryOS, itp. Jedynym mankamentem będzie to, o czym wspomniałem powyżej, czyli niemożność usunięcia nadmiarowego domyślnego kernela (bo system paczek cały czas jakiś będzie chciał zainstalować z repozytorium). Ale oprócz zajmowanej powierzchni dyskowej i dodatkowego wpisu w GRUBie w niczym on nie będzie nam przeszkadzał.
Rzeczone paczki znajdziemy w archiwum Mainline (stworzonym na potrzeby Ubuntu) i kompilowanym bez żadnych poprawek z oryginalnych źródeł. Na dzień dzisiejszy (do momentu wyjścia kolejnego wydanie 3.12.X) kernel 3.12.0 instalujemy tworząc jakiś katalog i pobierając do niego paczki:
i386
wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-headers-3.12.0-031200-generic_3.12.0-031200.201311031935_i386.deb wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-image-3.12.0-031200-generic_3.12.0-031200.201311031935_i386.deb wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-headers-3.12.0-031200_3.12.0-031200.201311031935_all.deb
amd64
wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-headers-3.12.0-031200-generic_3.12.0-031200.201311031935_amd64.deb wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-image-3.12.0-031200-generic_3.12.0-031200.201311031935_amd64.deb wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/linux-headers-3.12.0-031200_3.12.0-031200.201311031935_all.deb
Instalacja w obu przypadkach to (cały czas w katalogu z pobranymi paczkami):
sudo dpkg -i *.deb
Pozostaje uruchomić ponownie komputer (oraz wybrać ew. nowy kernel, jeżeli nie będzie on domyślnie wybrany).