Comment 114 for bug 1237296

Revision history for this message
Antonio J. de Oliveira (ajoliveira) wrote :

On 32-bit systems:

$ wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/linux-headers-3.14.1-031401_3.14.1-031401.201404141220_all.deb

$ wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/linux-headers-3.14.1-031401-generic_3.14.1-031401.201404141220_i386.deb

$ wget kernel.ubuntu.com/~kernel-ppa/mainline/v3.14.1-trusty/linux-image-3.14.1-031401-generic_3.14.1-031401.201404141220_i386.deb

$ sudo dpkg -i linux-headers-3.14.1-*.deb linux-image-3.14.1-*.deb

Don't forget to reboot...