[Nix-dev] Nix OS installation problems - Where's the hard drive?

[Joseph Joe]

I also have a working NixOS on a laptop now (The live-usb recognized
this harddrive).

I added the kernelConfig parameter in my configuration.nix file (attached),
but
there are build errors. Specifically, after running nixos-rebuild
switch, it ends with the following output:

GOT:
GOT: #
GOT: # configuration written to .config
GOT: #
building config
GOT: make: Leaving directory
`/tmp/nix-build-linux-config-3.12.28.drv-0/linux-3.12.28'
unused option: CONFIG_SCSI_SAS_ATA
builder for `/nix/store/0xynni7sbs8ck8p7cri356ryn3dfif
qp-linux-config-3.12.28.drv'
failed with exit code 255
cannot build derivation
`/nix/store/5fl9127mvpvjswhlsj02lzvs121ha98m-linux-3.12.28.drv': 1
dependencies couldn't be built
cannot build derivation
`/nix/store/niq6zlss38cqyg28mkqx42d214kfm2vh-nixos-14.04.519.b9bde98.drv':
1 dependencies couldn't be built
error: build of
`/nix/store/niq6zlss38cqyg28mkqx42d214kfm2vh-nixos-14.04.519.b9bde98.drv'
failed

Is there an error in my configuration file?

Also, for creating an iso out of a NixOS configuration, I need to run
these commands:

 (https://nixos.org/wiki/Creating_a_NixOS_live_CD)
export NIX_PATH=$NIXREPOS
nix-build -A iso_graphical.x86_64-linux $NIXREPOS/nixos/release.nix

But, there is no file release.nix on my computer.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20141010/640ad048/attachment.html 
-------------- next part --------------
# Edit this configuration file to define what should be installed on
# your system.  Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).

{ config, pkgs, ... }:

{
  imports =
    [ # Include the results of the hardware scan.
      ./hardware-configuration.nix
    ];
  
  nixpkgs.config.packageOverrides = pkgs: {
    stdenv = pkgs.stdenv // {
      platform = pkgs.stdenv.platform // {
        kernelExtraConfig = "CONFIG_SCSI_SAS_ATA y" ;
      };
    };
  };
  
  # Use the GRUB 2 boot loader.
  boot.loader.grub.enable = true;
  boot.loader.grub.version = 2;
  # Define on which hard drive you want to install Grub.
  boot.loader.grub.device = "/dev/sda";

  # networking.hostName = "nixos"; # Define your hostname.
  networking.wireless.enable = true;  # Enables wireless.

  # Select internationalisation properties.
  # i18n = {
  #   consoleFont = "lat9w-16";
  #   consoleKeyMap = "us";
  #   defaultLocale = "en_US.UTF-8";
  # };

  # List packages installed in system profile. To search by name, run:
  # -env -qaP | grep wget
  # environment.systemPackages = with pkgs; [
  #   wget
  # ];

  # List services that you want to enable:

  # Enable the OpenSSH daemon.
  services.openssh.enable = true;

  # Enable CUPS to print documents.
  # services.printing.enable = true;

  # Enable the X11 windowing system.
  services.xserver.enable = true;
  services.xserver.layout = "us";
  # services.xserver.xkbOptions = "eurosign:e";

  # Enable the KDE Desktop Environment.
  services.xserver.displayManager.kdm.enable = true;
  services.xserver.desktopManager.kde4.enable = true;

  # Define a user account. Don't forget to set a password with ‘passwd’.
  # users.extraUsers.guest = {
  #   name = "guest";
  #   group = "users";
  #   uid = 1000;
  #   createHome = true;
  #   home = "/home/guest";
  #   shell = "/run/current-system/sw/bin/bash";
  # };

}