From 1787d2cede62b4c1dcdd94ec0b5ea44e0704de56 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 5 Sep 2024 09:48:36 +0200
Subject: [PATCH] Load the modules in initrd

---
 lagarto-ox.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 8ac9b50..c64c408 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -78,10 +78,7 @@
       # Add the custom Ethernet module
       pkgs.xilinx-axienet-carv
     ];
-    kernelModules = [
-      # Load the Ethernet module by default
-      "xilinx_axienet_carv"
-    ];
+    kernelModules = config.boot.initrd.kernelModules;
     kernelPatches = [
       {
         name = assert false; "sbi-early-console";
@@ -147,7 +144,10 @@
     initrd = {
       # Avoid zstd as we don't have the tools in "cucu" machine
       compressor = "gzip";
-      kernelModules = [ ];
+      kernelModules = [
+        # Load the Ethernet module by default
+        "xilinx_axienet_carv"
+      ];
 
       # Custom init script
       extraFiles = {