diff --git a/README.md b/README.md
index 2fbf058..e62a19d 100644
--- a/README.md
+++ b/README.md
@@ -79,6 +79,7 @@ See code for all available configurations.
 | Supermicro A1SRi-2758F            | `<nixos-hardware/supermicro/a1sri-2758f>`          |
 | Supermicro X10SLL-F               | `<nixos-hardware/supermicro/x10sll-f>`             |
 | [Toshiba Chromebook 2 `swanky`][] | `<nixos-hardware/toshiba/swanky>`                  |
+| [Tuxedo InfinityBook v4][]        | `<nixos-hardware/tuxedo/infinitybook/v4>`          |
 
 [Acer Aspire 4810T]: acer/aspire/4810t
 [Apple MacBook Pro 10,1]: apple/macbook-pro/10-1
diff --git a/tuxedo/infinitybook/v4/default.nix b/tuxedo/infinitybook/v4/default.nix
new file mode 100644
index 0000000..36450bf
--- /dev/null
+++ b/tuxedo/infinitybook/v4/default.nix
@@ -0,0 +1,5 @@
+{
+  boot.kernelParams = [
+    "i8042.reset"
+  ];
+}