{ ... }: { imports = [ ./boot ./disko ./filesystems ./firewall ./hardware ./users ../../modules/system ]; networking = { hostName = "midas"; hostId = "38ba3f57"; }; system = { server.enable = true; lanzaboote.enable = true; fileserver.enable = true; socialserver.enable = true; wireguard.server.enable = true; stateVersion = "24.11"; }; services.minecraft-servers.servers = { velocity.enable = true; cornworld.enable = true; skyblock.enable = true; }; }