{ ... }: { imports = [ ./boot ./disko ./filesystems ./hardware ./users ../../modules/system ]; networking.hostName = "envy"; networking.wireguard.interfaces.wgc.ips = [ "10.100.0.25/24" ]; system = { lanzaboote.enable = true; wireguard.client.enable = true; stateVersion = "24.11"; }; }