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

2014-04-28 Thread José Romildo Malaquias
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

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

2014-04-28 Thread Luca Bruno
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

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

2014-04-28 Thread Wout Mertens
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

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

2014-04-27 Thread José Romildo Malaquias
Hello. When installation NixOS unstable on my x86_64 notebook, I am getting the error Failed to check file system type of /boot: No such file or directory The log file is attached, as well as the configuration I am using. A few months ago I had successfully installed NixOS unstalbe on this

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

2014-04-27 Thread Wout Mertens
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 On Apr 27, 2014 2:15 PM, José Romildo Malaquias j.romi...@gmail.com wrote: Hello. When installation NixOS unstable on my x86_64