nixos-hardware/usbarmory/configuration.nix
2016-02-10 10:41:46 -06:00

62 lines
1.9 KiB
Nix

{ pkgs, config, lib, ... }:
{
nix.binaryCaches = lib.mkForce [ "http://nixos-arm.dezgeg.me/channel" ];
nix.binaryCachePublicKeys = [ "nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%" ];
nixpkgs.config.packageOverrides = pkgs: rec {
linuxPackages_usbarmory = pkgs.recurseIntoAttrs (
pkgs.linuxPackagesFor (
pkgs.buildLinux rec {
version = "4.4.0";
src = pkgs.fetchurl {
url = "mirror://kernel/linux/kernel/v4.x/linux-4.4.tar.xz";
sha256 = "401d7c8fef594999a460d10c72c5a94e9c2e1022f16795ec51746b0d165418b2";
};
configfile = /etc/nixos/customKernel.config;
kernelPatches = [
{ patch = /etc/nixos/usbarmory_dts.patch;
name = "usbarmory_dts"; }
];
allowImportFromDerivation = true;
}
) linuxPackages_usbarmory);
};
boot = {
initrd.kernelModules = [];
kernelParams = [ "console=ttymxc0,115200" ];
kernelModules = [ "ledtrig_heartbeat" "ci_hdrc_imx" "g_ether" ];
extraModprobeConfig = "options g_ether use_eem=0 dev_addr=1a:55:89:a2:69:41 host_addr=1a:55:89:a2:69:42";
kernelPackages = pkgs.linuxPackages_usbarmory;
loader = {
grub.enable = false;
generic-extlinux-compatible = {
enable = true;
};
};
};
networking = {
interfaces.usb0.ip4 = [ { address = "172.16.0.2"; prefixLength = 24;} ];
hostName = "usbarmory";
defaultGateway = "172.16.0.1";
nameservers = [ "8.8.8.8" ];
firewall.enable = false;
};
sound.enable = false;
services = {
nixosManual.enable = false;
openssh.enable = true;
openssh.permitRootLogin = "without-password";
};
fileSystems = {
"/boot" = {
device = "/dev/disk/by-label/NIXOS_BOOT";
fsType = "vfat";
};
"/" = {
device = "/dev/disk/by-label/NIXOS_SD";
fsType = "ext4";
};
};
}