all repos — nixfiles @ 0c19e142a2caaacc6c66792d0deea41d32dbf7e0

System and user configuration, managed by nix and home-manager

system/hosts/r5s-hardware.nix (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
{
  lib,
  modulesPath,
  ...
}:

{
  boot.initrd.availableKernelModules = [ ];
  boot.initrd.kernelModules = [ ];
  boot.kernelModules = [ ];
  boot.extraModulePackages = [ ];

  fileSystems."/" = {
    device = "/dev/disk/by-uuid/8734332f-5cf2-4a06-9bae-1dcd080da2b4";
    fsType = "ext4";
  };

  fileSystems."/var/log" = {
    device = "tmpfs";
    fsType = "tmpfs";
  };

  swapDevices = [ ];

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