{ config, pkgs, ... }: {
  environment.systemPackages = with pkgs; [
    networkmanager
  ];

  #
  # Kernel
  #

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

  #
  # Bootloader
  #

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

  # Use the GRUB 2 boot loader
  boot.loader = {
    grub = {
      enable = true;
      copyKernels = true;
      efiSupport = true;
      efiInstallAsRemovable = true;
      # Define on which hard drive you want to install Grub
      device = "nodev"; # or "nodev" for efi only
    };
    timeout = 1;
  };

  #
  # Timezone and locale
  #

  time.timeZone = "Europe/Sofia";
  i18n.defaultLocale = "en_US.UTF-8";

  #
  # Networking
  #

  # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.
  networking.networkmanager.enable = true;
  networking.firewall = {
    allowedTCPPorts = [ 20 1234 1337 ];
    allowedUDPPorts = [ 12345 31337 ];
  };

  # zeroconf networking
  services.avahi = {
    enable = true;
    nssmdns4 = true;
    openFirewall = true;
  };
}