{ lib, modulesPath, ... }: { boot.initrd.availableKernelModules = [ ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ ]; boot.extraModulePackages = [ ]; fileSystems."/" = { device = "/dev/disk/by-uuid/8734332f-5cf2-4a06-9bae-1dcd080da2b4"; fsType = "ext4"; }; fileSystems."/var/log" = { device = "tmpfs"; fsType = "tmpfs"; }; swapDevices = [ ]; nixpkgs.hostPlatform = lib.mkDefault "aarch64-linux"; }