fedora-csb-system-manager
 1{ config, ... }:
 2{
 3  fileSystems."/" = {
 4    device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
 5    fsType = "ext4";
 6  };
 7  fileSystems."/neo" = {
 8    device = "/dev/disk/by-uuid/7ff6e217-ec49-40af-96a1-ad28a24bb687";
 9    fsType = "ext4";
10  };
11
12  networking.hostId = builtins.substring 0 8 (builtins.hashString "md5" config.networking.hostName);
13
14  swapDevices = [
15    {
16      device = "/swapfile";
17      size = 8 * 1024; # 8GB
18    }
19  ];
20
21  hardware = {
22    deviceTree = {
23      enable = true;
24      name = "rockchip/rk3588-friendlyelec-cm3588-nas.dtb";
25    };
26  };
27}