{ pkgs, ... }: { imports = [ ./boot ./disko ./filesystems ./hardware ./users ../../modules/system ]; networking = { hostName = "midas"; hostId = "462433de"; }; system = { desktop.enable = true; lanzaboote.enable = true; wireless.enable = false; libvirtd.enable = true; stateVersion = "24.11"; }; services.xserver.videoDrivers = [ "intel" ]; }