From a9c1cb26eab9dc5423b97e4fed8c3f4f3f59e3e6 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 20 Feb 2025 16:27:14 +0100
Subject: [PATCH] Load Xilinx modules at boot

---
 m/raccoon/configuration.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/m/raccoon/configuration.nix b/m/raccoon/configuration.nix
index d0e2fab..8fb18b7 100644
--- a/m/raccoon/configuration.nix
+++ b/m/raccoon/configuration.nix
@@ -43,6 +43,8 @@
     })
   ];
 
+  boot.extraModulePackages = [ pkgs.xilinx-xocl ];
+  boot.kernelModules = [ "xclmgmt" "xocl" ];
 
   users.motd = ''
     ⠀⠀⠀⠀⠀⠀⠀⣀⣀⣄⣠⣀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀