Go back to default gcc for the kernel

This commit is contained in:
Rodrigo Arias 2024-07-01 11:30:12 +02:00
parent 763f053f01
commit a7e1a6a100

View File

@ -104,11 +104,12 @@
#env.NIX_DEBUG = 5; #env.NIX_DEBUG = 5;
}); });
linuxPackages_latest = prev.linuxPackages_latest.extend (lib.const (ksuper: { linuxPackages_latest = prev.linuxPackages_latest;
kernel = ksuper.kernel.override { #linuxPackages_latest = prev.linuxPackages_latest.extend (lib.const (ksuper: {
stdenv = prev.gcc8Stdenv; # kernel = ksuper.kernel.override {
}; # stdenv = prev.gcc8Stdenv;
})); # };
#}));
ox-dtb = prev.runCommand "ox.dtb" { ox-dtb = prev.runCommand "ox.dtb" {
dtsFile = ./ox-plic.dts; dtsFile = ./ox-plic.dts;