Easy kernel upgrade on Debian / Ubuntu

  • prerequisites: sudo apt-get install build-essential kernel-package

  • download the latest kernel source zip archive from kernel.org

  • extract the archive and get to the extracted folder

  • copy the kernel config file from the existing system to the kernel tree: cp /boot/config-uname -r .config or other customized config file in /boot. If /boot is empty, config can be found in proc : zcat /proc/config.gz > /usr/local/src/linux-4.4.97/.config)

  • bring the config file up to date: make oldconfig (for big version gap :
    yes '' | make oldconfig
    (all default values, should be checked)

  • adjust build settings if necessary: make menuconfig (requires libncurses)

  • clean the kernel source directory: make clean

  • build: make deb-pkg LOCALVERSION=custom -j core (for multicore, number of used cores)

  • install deb files (image, header, libc), then reboot: cd .. && dpkg -i linux-(…)

 

More details: https://wiki.ubuntu.com/KernelTeam/GitKernelBuild


Aide-mémoire configuration de Pine / Alpine

Deux champs requis dans la config : envoi et réception.

  • smtp-server : server:port/cryptoprotocol/user=username/novalidate-cert
  • inbox-path : server:port/cryptoprotocol/user=username/novalidate-cert

Exemple :

  • smtp-server : stmp.gmail.com:443/tls/user=username
  • inbox-path : imap.gmail.com:993/ssl/user=username

Pour retenir les mots de passe : touch .pine-passfile


Pense-bête – Debian – Compiler un noyau Linux

Le principal : http://pyfourmond.free.fr/Compilation-Noyau-Linux.htm

Si la partition racine n’est pas trouvée (“Waiting for root file system”), ça m’est arrivé pour une vm, il faut préciser le UUID de la partition racine dans /boot/grub/menu.lst :

root=/dev/xxxx
=>
root=UUID=xxxx-xxxx-xxxx-xxxx

Pour obtenir cet identifiant :

/sbin/blkid

Plus d’infos : http://forum.debian-fr.org/viewtopic.php?f=8&t=18271