{ lib, ... }: { fileSystems."/" = { device = "/dev/disk/by-uuid/833ac0f9-ad8c-45ae-a9bf-5844e378c44a"; fsType = "ext4"; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/B4D5-3AF9"; fsType = "vfat"; options = [ "fmask=0022" "dmask=0022" ]; }; networking.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; }