Fresh repo without sensitive data.

machines/Leviathan/Leviathan.nix

@@ -0,0 +1,20 @@
+{ config, lib, pkgs, ... }:
+
+let
+ cfg = import ./configuration.nix;
+in {
+  imports = [
+    ./hardware-configuration.nix
+  ];
+
+  services = {
+    udev.extraRules = ''
+      SUBSYSTEM=="usb", ATTRS{idVendor}=="28de", MODE="0666"
+      KERNEL=="uinput", MODE="0660", GROUP="input", OPTIONS+="static_mode=uinput"
+    '';
+  };
+
+  environment.systemPackages = with pkgs; [ xdiskusage ];
+
+  system.stateVersion = "18.09";
+}

machines/Leviathan/configuration.nix

@@ -0,0 +1,26 @@
+{
+  confPath = ./Leviathan.nix;
+  pkgs = [
+    "base"
+    "emacs"
+    "haskell"
+    "python3"
+    "rustpkgs"
+    "xpkgs"
+  ];
+  services = [
+    ../../services/openssh.nix
+    ../../services/xserver.nix
+  ];
+  conf = {
+    allowUnfree = true;
+    networking = {
+      hostName = "Leviathan";
+      firewall = {
+        allowPing = true;
+        allowedUDPPorts = [ 22 ];
+        allowedTCPPorts = [];
+      };
+    };
+  };
+}

machines/Leviathan/hardware-configuration.nix

@@ -0,0 +1,65 @@
+{ config, lib, pkgs, ... }:
+
+{
+  imports = [
+    <nixpkgs/nixos/modules/installer/scan/not-detected.nix>
+  ];
+
+  boot = {
+    loader.systemd-boot.enable = true;
+    loader.efi.canTouchEfiVariables = true;
+    cleanTmpDir = true;
+    kernelPackages = pkgs.linuxPackages_4_19;
+    initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "firewire_ohci" "usbhid" "usb_storage" "sd_mod" "sdhci_pci" ];
+    kernelModules = [ "kvm-intel" "wl" ];
+    extraModulePackages = [ config.boot.kernelPackages.broadcom_sta ];
+  };
+
+  hardware = {
+    cpu.intel.updateMicrocode = true;
+    enableAllFirmware = true;
+    enableKSM = true;
+    opengl = {
+      driSupport = true;
+      extraPackages = with pkgs; [ vaapiIntel libvdpau-va-gl vaapiVdpau ];
+      driSupport32Bit = true;
+      extraPackages32 = with pkgs.pkgsi686Linux; [ vaapiIntel libvdpau-va-gl vaapiVdpau ];
+    };
+
+    pulseaudio = {
+      enable = true;
+      support32Bit = true;
+      package = pkgs.pulseaudioFull;
+      zeroconf.discovery.enable = false;
+      extraClientConf = ''
+        autospawn = no
+      '';
+    };
+
+    bluetooth = {
+      enable = true;
+      powerOnBoot = true;
+    };
+  };
+
+  fileSystems."/" =
+    { device = "/dev/disk/by-uuid/4f0a49f8-04f6-437c-ad5d-b0a82a7251ef";
+      fsType = "ext4";
+    };
+
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-uuid/2860-11F4";
+      fsType = "vfat";
+    };
+
+  swapDevices =
+    [ { device = "/dev/disk/by-uuid/c50ad046-8bfd-4248-8195-7a0d370b641f"; }
+    ];
+
+  powerManagement = {
+    enable = true;
+    cpuFreqGovernor = "powersave";
+  };
+
+  time.timeZone = "Europe/Berlin";
+}