From 9db6d05222a9383cd1a09b7d5192925404b918ee Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 25 Jan 2024 15:37:18 +0100
Subject: [PATCH] Remove old stdenv hack for the kernel

---
 overlay.nix | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/overlay.nix b/overlay.nix
index 374f343..b7b9975 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -41,9 +41,6 @@ final: prev:
   });
 
   linuxPackagesCustom = prev.linuxPackagesFor (prev.linux.override {
-    # Don't use a compiler without compressed instructions, let the kernel
-    # configure the -march and -mabi arguments.
-    stdenv = prev.stdenv;
     structuredExtraConfig = with prev.lib.kernel; {
       KEXEC = yes;
       SERIAL_8250_DW = yes;