[gull] Spectre & Meltdown status of your system

[Daniel Cordey]

Et pour ceux qui n'ont pas, ou ne veulent pas installer, ukuu, voici un 
moyen simple d'installer un kernel 4.15. Le mieux étant d'installer une 
version 4.15.1 qui apporte encore plus de résistance aux bugs Spectre & 
Meltdown.

https://www.ostechnix.com/install-linux-kernel-4-15-rpm-deb-based-systems/

Pour les utilisateurs de Ubuntu, les *.deb du kernel 4.15.1 sont ici :

http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.15.1/

dc