From bc94e6355f6a68cd916239f317c7d4b3c2b0f14b Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 5 Sep 2024 10:01:30 +0200
Subject: [PATCH] Fix Ethernet module file name

---
 lagarto-ox.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index c64c408..3fa772e 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -146,7 +146,7 @@
       compressor = "gzip";
       kernelModules = [
         # Load the Ethernet module by default
-        "xilinx_axienet_carv"
+        "xxvnet_carv"
       ];
 
       # Custom init script