Skip to content

Instantly share code, notes, and snippets.

@shlevy

shlevy/gist:2393408

Created April 15, 2012 15:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save shlevy/2393408 to your computer and use it in GitHub Desktop.
Save shlevy/2393408 to your computer and use it in GitHub Desktop.
Download ZIP
UEFI NixOS on P8H67-M PRO
Raw
gistfile1.txt
1. Download the latest 64-bit EFI-compatible ISO from http://hydra.nixos.org/job/nixos/trunk/iso_efi
2. Boot the cd in EFI mode. Enter into your UEFI menu, go to the boot options menu, and select your CD drive (Make sure you select the one that says EFI or UEFI boot! If a grub menu shows up you have not succeeded).
3. Use the 'gdisk' program to partition your drive. The interface is very similar to fdisk. Make sure you create one partition of type ef00 (EFI System Partition). This will be your /boot.
4. Format your partitions. Make the EFI System Partition a vfat volume.
5. Mount your partitions per the manual. Mount the EFI System Partition on /mnt/boot.
6. Follow the manual up to the stage of filling out your configuration.nix. The EFI specific portions of your config should be very similar to lines 31-43 of https://bitbucket.org/shlevy/dotfiles/src/11376b30c57e/nixos/p8p67-configuration.nix#cl-31 . See man configuration.nix, particularly the efiBootStub options, for more. Note that it is important to disable grub.
7. Before nixos-install, check lsmod for 'efivars', and if it's not there modprobe efivars.
8. Install and reboot. If you set your system to use efibootmgr as I did in my linked configuration above, your new EFI system should boot fine.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment