
The psmouse module is for PS/2 mouse only, which doesn't exist outside x86. But we can test for the mousedev module just as well which is used for the '-device usb-tablet' emulated by QEMU.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.