123
What are the best practices to partition a linux system with? (lemm.ee)
submitted 3 years ago by to c/linux@lemmy.ml
64 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 3 years ago* (1 child)

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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 3 years ago* (last edited 3 years ago) (1 child)

    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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •