4.13.9-Debian-force

4.13 kernel patched to force all usbhid devices to poll at 1000hz
-Base source is clean
-Base config as per Debian/sensible, some things probably disabled (Can't remember)
-dynticks are disabled
-Kernel tick is 1000hz

Great Big Disclaimer: This kernel was built by me, a.k.a a random bloke on the internet

• Ensure you verify the hashes of any downloaded files
• Absolutely no guarantees are made, install at your own risk
• I recommend checking the changes in this kernel, see .changes within the release
• I do not recommend installing on anything other than your stepmania setup

Should work on anything Debian/Ubuntu/Mint based

Installation

• Extract the release
• As a minimum install these (Double click or 'sudo dpkg -i foo.deb')
  • linux-image-XXXX.deb
  • linux-firmware-image-XXXX.deb
• Reboot, and check grub boots the system with the right kernel

MD5: e4507bf579ac5f735f85072cb60fe5bb