uefi-x86_64: Use NixOS kernel
mobile.boot.stage-1 = {
kernel = {
- package = let inherit (pkgs.linuxPackages_5_4) kernel; in
- kernel.overrideAttrs({passthru ? {}, ...}: {
- # Using `kernel.passthru` as overrideAttrs on kernel derivations
- # does not work as expected.
- # See https://github.com/NixOS/nixpkgs/issues/111504
- passthru = kernel.passthru // {
- file = "bzImage";
- };
- })
- ;
- modular = true;
+ # Rely on upstream NixOS modules by default for generic UEFI systems.
+ useNixOSKernel = lib.mkDefault true;
+
# Sync with <nixpkgs/nixos/modules/installer/cd-dvd/installation-cd-base.nix>
# and with <nixpkgs/nixos/modules/system/boot/kernel.nix>
modules = [
