[Nix-dev] Unable to install NixOS unstable in UEFI system

[José Romildo Malaquias]

On Mon, Apr 28, 2014 at 07:04:41PM +0200, Wout Mertens wrote:
> https://wiki.archlinux.org/index.php/Unified_Extensible_Firmware_Interface#EFI_System_Partition
> 
> "The EFI System Partition (also called ESP or EFISYS) is a *FAT32 formatted
> physical partition* (in the main partition table of the disk, not LVM or
> software raid etc.) from where the UEFI firmware launches the UEFI
> bootloader and application. It is a OS independent partition that acts as
> the storage place for the EFI bootloaders and applications which the
> firmware launches them. *It is mandatory for UEFI boot.*"
> 
> So perhaps last time it found it automatically?

Yes, it did.

If I am supposed to mount it explicitly, where should it be mounted? At
/mnt/boot ?

If this is the case, please, add this step to the installation manual.

> On Mon, Apr 28, 2014 at 2:34 PM, Luca Bruno <lethalman88 at gmail.com> wrote:
> 
> > On 28/04/2014 13:50, José Romildo Malaquias wrote:
> > > On Mon, Apr 28, 2014 at 06:30:12AM +0200, Wout Mertens wrote:
> > >> It looks like you are trying to do a UEFI boot but not providing the
> > >> correct partition mounted in /boot.
> > >>
> > >> https://wiki.archlinux.org/index.php/Gummiboot#Updating
> > > The installation guide does not mention the need to mount /boot before
> > > installation. The above link refers to installing Gummiboot on
> > > archlinux, where the OS has already been installed, which is a very
> > > different situation.
> > >
> > > Besides that, when installing NixOS from the installation media, there
> > > is alread a /boot directory, although it probably refers to the boot
> > > from the installation media, not the one for the installed system.
> > >
> > > And in a previous installation I have done a few months ago, it worked
> > > without the need of any additional action regarding /boot.
> > >
> > > So it seems there is a bug in the installation process.
> > I've had the same problem. The fact is that the installation guide does
> > not mention that you need a /boot partition. It assumes everything under
> > / and that's not a bug per se.
> > Perhaps some note might be added about the fact that any dir that is in
> > another partition has to be mounted, with an example.