# Edit this configuration file to define what should be installed on
# your system.  Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).

{ config, pkgs, ... }:

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

  boot.kernelPackages = pkgs.linuxKernel.packages.linux_6_0;

  # Use the systemd-boot EFI boot loader.
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;

  networking.hostName = "ilex";
  time.timeZone = "Europe/Amsterdam";

  networking = {
    networkmanager.enable = true;
    useDHCP = false;
    interfaces = {
      enp1s0f0.useDHCP = true;
    };
  };

  system.stateVersion = "22.11";

}