# To be generated...
{
  nixpkgs.hostPlatform = "x86_64-linux";

  fileSystems."/" = {
    device = "/dev/sda1";
    fsType = "ext4";
  };
}