{ lib, ... }: { boot = { initrd = { availableKernelModules = [ "virtio_pci" "xhci_pci" "usb_storage" "usbhid" ]; kernelModules = [ ]; }; kernelModules = [ ]; extraModulePackages = [ ]; }; networking.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux"; }