{ ... }: { flake.nixosModules.r5500Hardware = { config, lib, pkgs, modulesPath, ... }: { imports = [ (modulesPath + "/installer/scan/not-detected.nix") ]; boot.initrd.availableKernelModules = [ "uhci_hcd" "ehci_pci" "ahci" "usb_storage" "usbhid" "sd_mod" ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ "kvm-intel" ]; boot.extraModulePackages = [ ]; fileSystems."/" = { device = "/dev/disk/by-uuid/934a5ec3-4bab-49c3-96c9-c857c50076ba"; fsType = "btrfs"; options = [ "subvol=@" ]; }; fileSystems."/home" = { device = "/dev/disk/by-uuid/934a5ec3-4bab-49c3-96c9-c857c50076ba"; fsType = "btrfs"; options = [ "subvol=@home" ]; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/6399d086-687b-4ca9-ad34-da1dd85203d5"; fsType = "ext4"; }; swapDevices = [ { device = "/dev/disk/by-uuid/ddb9fea1-7c44-44bc-bc74-79a3adb6cc35"; } ]; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; }; }