{ config, pkgs, lib, modulesPath, ... }:

{
  imports = [
    ../common/xeon.nix
    #(modulesPath + "/installer/netboot/netboot-minimal.nix")

    ../eudy/cpufreq.nix
    ../eudy/users.nix
    ./users.nix
    ./kernel.nix
  ];

  # Select this using the ID to avoid mismatches
  boot.loader.grub.device = "/dev/disk/by-id/wwn-0x55cd2e414d5376d2";

  # disable automatic garbage collector
  nix.gc.automatic = lib.mkForce false;

  # members of the tracing group can use the lttng-provided kernel events
  # without root permissions
  users.groups.tracing.members = [ "arocanon" "vlopez" ];

  # set up both ethernet and infiniband ips
  networking = {
    hostName = "koro";
    interfaces.eno1.ipv4.addresses = [ {
      address = "10.0.40.5";
      prefixLength = 24;
    } ];
    interfaces.ibp5s0.ipv4.addresses = [ {
      address = "10.0.42.5";
      prefixLength = 24;
    } ];
  };
}