Derived from the original i8042 driver in the Linux Kernel, using a patch written and provided by Anton Zhilyaev.

Install

git clone https://github.com/berzoidberg/i8042-spectre-dkms
sudo cp -R i8042-spectre-dkms /usr/src/i8042-spectre-1.0
sudo dkms add -m i8042-spectre -v 1.0
sudo dkms build -m i8042-spectre -v 1.0
sudo dkms install -m i8042-spectre -v 1.0
echo blacklist i8042 | sudo tee -a /etc/modprobe.d/blacklist.conf