• lloram239@feddit.de
    5·
    11 months ago

    Some distributions (e.g. NixOS) store their kernels on the EFI partition, going small will bite you on those. 1GB is a good size. The Windows default of 100MB is only enough to store two kernels.

    Edit: This might actually be systemd-boot specific.

    • heartlessevil@lemmy.oneEnglish
      2·
      11 months ago

      This is true. I used a 1gb boot partition on my Nixos install and every time I update it I need to delete all the old kernels/initrd and sometimes I even delete the one that’s currently running.

    • chayleaf@lemmy.ml
      1·
      11 months ago

      I use NixOS, and read my comment again. /boot/efi is only for GRUB. /boot is where the actual kernels reside, and it isn’t on the EFI partition.

      • lloram239@feddit.de
        1·
        11 months ago

        Might actually be systemd-boot thing, not a NixOS specific thing, either way, this is where my kernels are:

        /boot/EFI/nixos/vnmrdbd7a5rg6482d6p8zxc57xf2nxqb-linux-6.1.44-bzImage.efi

        /boot is straight up the EFI partition, there is no separate /boot partition.