1{den, ...}: {
 2  den.hosts.kevin = {
 3    system = "x86_64-linux";
 4    description = ''
 5      Kevin - x86_64 Linux laptop for work and gaming.
 6      Based on a Lenovo ThinkBook 16P G5 IRX,
 7      with Intel Core i7-14650HX, 32GB RAM and 2TB NVMe storage.
 8    '';
 9    pubKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOO9CyAqGo/WbJkncrt1a9jxS1E+hd550SC4A08I/l0/ root@kevin";
10
11    rootHashedPasswordFileAged = ./hashed-password.age;
12  };
13
14  den.users.access.by-host.kevin = {
15    groups = [
16      "admins"
17    ];
18    classes = [
19      "user"
20      "homeManager"
21    ];
22  };
23
24  den.aspects.kevin = {
25    includes = [
26      den.aspects.roles.default
27      den.aspects.roles.desktop
28      den.aspects.roles.develop
29      den.aspects.roles.game
30    ];
31  };
32}