From 16272f5456da627f0f7c0248dadbbe38acde9eb3 Mon Sep 17 00:00:00 2001
From: tomoron <tomoron@student.42angouleme.fr>
Date: Sun, 5 Jan 2025 18:28:50 +0100
Subject: [PATCH] add gasget kernel module to use pci edge TPU

---
 hosts/server.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hosts/server.nix b/hosts/server.nix
index f73567a..401f8ed 100644
--- a/hosts/server.nix
+++ b/hosts/server.nix
@@ -7,6 +7,7 @@
 	modules/vboxHost.nix
 	modules/nvidia.nix
   ];
+  boot.extraModulePackages = with config.boot.kernelPackages; [gasket];
 
   networking.hostName = "server";
   services.openssh.enable = true;