{ config, pkgs, inputs, ... }:

{
  imports =
    [
      ../shared-configuration.nix
      ./hardware.nix
    ];

  networking = {
    hostName = "kernighan";
    interfaces = {
       end0.ipv4.addresses = [{
         address = "192.168.40.25";
         prefixLength = 24;
       }];
       end0.ipv6.addresses = [{
         address = "fe80::dea6:32ff:fe04:c6f3";
         prefixLength = 64;
       }];
    };
    defaultGateway = "192.168.40.1";
    defaultGateway6 = "00:b8:c2:db:b8:57";
    nameservers = [ "208.67.222.222" "208.67.220.220" ];
  };

  boot.loader.grub.enable = false;
  boot.loader.generic-extlinux-compatible.enable = true;

  environment.systemPackages = with pkgs; [
    git
    vim
  ];
}