1{den, ...}: {
 2  den.hosts.tribios = {
 3    system = "aarch64-linux";
 4    description = ''
 5      Tribios - Aarch64 Linux router for home network.
 6      Based on a Friendly Nano Pi R6S board,
 7      with Rockchip RK3588S, 4GB RAM and 64GB eMMC storage.
 8    '';
 9    pubKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMQTx9RhZJa4WOAJyAUzlQLaFExcDv921sVsfM02vB9h root@tribios";
10    rootHashedPasswordFileAged = ./hashed-password.age;
11  };
12
13  den.users.access.by-host.tribios.groups = [
14    "admins"
15  ];
16
17  den.aspects.tribios = {
18    includes = [
19      den.aspects.roles.default
20      den.aspects.roles.server
21    ];
22  };
23}