# System won't boot path EFI stub

**URL:** https://discourse.nixos.org/t/system-wont-boot-path-efi-stub/29212
**Category:** Help
**Created:** [June 17, 2023, 9:51am UTC](https://discourse.nixos.org/t/system-wont-boot-path-efi-stub/29212 "2023-06-17T09:51:54Z")
**Posts on this page:** 1
**Showing post:** 12

<div class="post-metadata">

### Author: ![anon-20250105](https://discourse.nixos.org/letter_avatar_proxy/v4/letter/a/58956e/32.png) [@anon-20250105](https://discourse.nixos.org/u/anon-20250105)
#### Post date: [January 5, 2025, 8:27am UTC](https://discourse.nixos.org/t/system-wont-boot-path-efi-stub/29212/12 "2025-01-05T08:27:34Z")

</div>

Looks like this is the only thread that shows up in Google about this issue, so I’ll post this here, perhaps it will help someone. I had the same issue on a Xiaomi Redmi Book Pro 14, I couldn’t get past “EFI stub: Measured initrd data into PCR 9” when booting from the NixOS live CD (nixos-minimal-24.11.712148.edf04b75c13c-x86\_64-linux.iso). I tried updating BIOS as other people suggested, but it was already up to date. Arch and Ubuntu worked fine, however, so I figured it had something with the kernel. I tried older and newer versions of the kernel to no avail, then I started bisecting the diff between Ubuntu’s and NixOS’s kernel config, until I ended up with this:

```auto
{ config, pkgs, modulesPath, lib, ... }: {
  imports = [
    "${modulesPath}/installer/cd-dvd/installation-cd-minimal.nix"
# "${modulesPath}/installer/cd-dvd/installation-cd-graphical-gnome.nix"
  ];

  boot.kernelPatches = lib.singleton {
    name = "config";
    patch = null;
    extraStructuredConfig = with lib.kernel; {
      ACPI_DEBUG = yes;
    };
  };
}

```

Adding CONFIG\_ACPI\_DEBUG fixed the issue, I managed to produce a working ISO with this command:

```auto
$ NIX_PATH=nixpkgs=https://github.com/NixOS/nixpkgs/archive/release-24.11.tar.gz nix-shell -p nixos-generators --run "nixos-generate --format iso --configuration ./image.nix -o result"

```

IIUC, this option enables debug output for ACPI events, so I have no idea why it would be needed for boot, but it works.

I also had to add this boot.kernelPatches to my configuration.nix, otherwise the system wouldn’t boot after installation.

---

_[View the full topic](https://discourse.nixos.org/t/system-wont-boot-path-efi-stub/29212)._