From a7e1a6a1009ff7e4cba415c6b777fee94b2a9d91 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 1 Jul 2024 11:30:12 +0200
Subject: [PATCH] Go back to default gcc for the kernel

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

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index 15cc1e6..f2880eb 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -104,11 +104,12 @@
       #env.NIX_DEBUG = 5;
     });
 
-    linuxPackages_latest = prev.linuxPackages_latest.extend (lib.const (ksuper: {
-      kernel = ksuper.kernel.override {
-        stdenv = prev.gcc8Stdenv;
-      };
-    }));
+    linuxPackages_latest = prev.linuxPackages_latest;
+    #linuxPackages_latest = prev.linuxPackages_latest.extend (lib.const (ksuper: {
+    #  kernel = ksuper.kernel.override {
+    #    stdenv = prev.gcc8Stdenv;
+    #  };
+    #}));
 
     ox-dtb = prev.runCommand "ox.dtb" {
       dtsFile = ./ox-plic.dts;