Disable EFI in the kernel and use normal stdenv

In order to build the kernel without compressed instructions we need to
disable EFI support. We also need to leave the kernel to figure the
proper -march and -mabi flags, as otherwise it fails to build. Using the
option "CONFIG_RISCV_ISA_C n" disables the use of compressed
instructions.
This commit is contained in:
Rodrigo Arias 2024-01-22 13:35:21 +01:00
parent a333210fdc
commit 3707e5708e

View File

@ -51,6 +51,9 @@ final: prev:
}); });
linuxPackagesCustom = prev.linuxPackagesFor (prev.linux.override { 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; { structuredExtraConfig = with prev.lib.kernel; {
KEXEC = yes; KEXEC = yes;
SERIAL_8250_DW = yes; SERIAL_8250_DW = yes;
@ -82,6 +85,8 @@ final: prev:
PCI_HOST_GENERIC = yes; PCI_HOST_GENERIC = yes;
RISCV_ISA_C = no; RISCV_ISA_C = no;
NONPORTABLE = yes;
EFI = no;
}; };
}); });
} }