summaryrefslogtreecommitdiffstats
path: root/lass/1systems/archprism/physical.nix
blob: 56348d0ab8b2fc9c85bd89d5a8158fa4fdb565d7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
{ config, lib, pkgs, ... }:
{
  imports = [
    ./config.nix
    {
      boot.kernelParams = [ "net.ifnames=0" ];
      networking = {
        defaultGateway = "46.4.114.225";
        # Use google's public DNS server
        nameservers = [ "8.8.8.8" ];
        interfaces.eth0 = {
          ipAddress = "46.4.114.247";
          prefixLength = 27;
        };
      };
      # TODO use this network config
      #networking.interfaces.et0.ipv4.addresses = [
      #  {
      #    address = config.krebs.build.host.nets.internet.ip4.addr;
      #    prefixLength = 27;
      #  }
      #  {
      #    address = "46.4.114.243";
      #    prefixLength = 27;
      #  }
      #];
      #networking.defaultGateway = "46.4.114.225";
      #networking.nameservers = [
      #  "8.8.8.8"
      #];
      #services.udev.extraRules = ''
      #  SUBSYSTEM=="net", ATTR{address}=="08:60:6e:e7:87:04", NAME="et0"
      #'';
    }
    {
      imports = [ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> ];

      networking.hostId = "fb4173ea";
      boot.loader.grub = {
        devices = [
          "/dev/sda"
          "/dev/sdb"
        ];
        splashImage = null;
      };

      boot.initrd.availableKernelModules = [
        "ata_piix"
        "vmw_pvscsi"
        "ahci" "sd_mod"
      ];

      boot.kernelModules = [ "kvm-intel" ];

      sound.enable = false;
      nixpkgs.config.allowUnfree = true;
      time.timeZone = "Europe/Berlin";

      fileSystems."/" = {
        device = "rpool/root/nixos";
        fsType = "zfs";
      };

      fileSystems."/home" = {
        device = "rpool/home";
        fsType = "zfs";
      };

      fileSystems."/boot" = {
        device = "/dev/disk/by-uuid/b67c3370-1597-4ce8-8a46-e257ca32150d";
        fsType = "ext4";
      };

    }
  ];

}