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      "hjem"
21      "homeManager"
22    ];
23  };
24
25  den.aspects.kevin = {
26    includes = [
27      den.aspects.roles.default
28      den.aspects.roles.desktop
29      den.aspects.roles.develop
30      den.aspects.roles.game
31    ];
32  };
33}