{ lib, ... }:

{
  fileSystems."/" = {
    device = "/dev/disk/by-uuid/119863f8-55cf-4e2f-ac17-27599a63f241";
    fsType = "ext4";
  };

  fileSystems."/boot" = {
    device = "/dev/disk/by-uuid/D9F4-9BF0";
    fsType = "vfat";
    options = [
      "fmask=0022"
      "dmask=0022"
    ];
  };

  networking.useDHCP = lib.mkDefault true;

  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
}