---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
   FunctionArgument {
    identifier: "pkgs",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: LetIn {
  bindings: [
   KeyValue(
    AttributePath {
     attributes: [
      Raw {
       content: "platform",
       position: (8, 3),
      },
     ],
    },
    PropertyAccess {
     expression: Variable {
      identifier: "pkgs",
      position: (8, 14),
     },
     attribute_path: AttributePath {
      attributes: [
       Raw {
        content: "stdenv",
        position: (8, 19),
       },
       Raw {
        content: "hostPlatform",
        position: (8, 26),
       },
      ],
     },
     default: None,
    },
   ),
  ],
  target: Map {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "boot",
        position: (14, 3),
       },
       Raw {
        content: "initrd",
        position: (14, 8),
       },
       Raw {
        content: "availableKernelModules",
        position: (14, 15),
       },
      ],
     },
     BinaryOperation {
      operator: Concatenation,
      operands: [
       List {
        elements: [
         String {
          parts: [
           Raw {
            content: "ahci",
           },
          ],
          position: (16, 7),
         },
         String {
          parts: [
           Raw {
            content: "ata_piix",
           },
          ],
          position: (18, 7),
         },
         String {
          parts: [
           Raw {
            content: "sata_inic162x",
           },
          ],
          position: (20, 7),
         },
         String {
          parts: [
           Raw {
            content: "sata_nv",
           },
          ],
          position: (20, 23),
         },
         String {
          parts: [
           Raw {
            content: "sata_promise",
           },
          ],
          position: (20, 33),
         },
         String {
          parts: [
           Raw {
            content: "sata_qstor",
           },
          ],
          position: (20, 48),
         },
         String {
          parts: [
           Raw {
            content: "sata_sil",
           },
          ],
          position: (21, 7),
         },
         String {
          parts: [
           Raw {
            content: "sata_sil24",
           },
          ],
          position: (21, 18),
         },
         String {
          parts: [
           Raw {
            content: "sata_sis",
           },
          ],
          position: (21, 31),
         },
         String {
          parts: [
           Raw {
            content: "sata_svw",
           },
          ],
          position: (21, 42),
         },
         String {
          parts: [
           Raw {
            content: "sata_sx4",
           },
          ],
          position: (21, 53),
         },
         String {
          parts: [
           Raw {
            content: "sata_uli",
           },
          ],
          position: (22, 7),
         },
         String {
          parts: [
           Raw {
            content: "sata_via",
           },
          ],
          position: (22, 18),
         },
         String {
          parts: [
           Raw {
            content: "sata_vsc",
           },
          ],
          position: (22, 29),
         },
         String {
          parts: [
           Raw {
            content: "pata_ali",
           },
          ],
          position: (24, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_amd",
           },
          ],
          position: (24, 18),
         },
         String {
          parts: [
           Raw {
            content: "pata_artop",
           },
          ],
          position: (24, 29),
         },
         String {
          parts: [
           Raw {
            content: "pata_atiixp",
           },
          ],
          position: (24, 42),
         },
         String {
          parts: [
           Raw {
            content: "pata_efar",
           },
          ],
          position: (24, 56),
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt366",
           },
          ],
          position: (25, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt37x",
           },
          ],
          position: (25, 21),
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt3x2n",
           },
          ],
          position: (25, 35),
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt3x3",
           },
          ],
          position: (25, 50),
         },
         String {
          parts: [
           Raw {
            content: "pata_it8213",
           },
          ],
          position: (26, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_it821x",
           },
          ],
          position: (26, 21),
         },
         String {
          parts: [
           Raw {
            content: "pata_jmicron",
           },
          ],
          position: (26, 35),
         },
         String {
          parts: [
           Raw {
            content: "pata_marvell",
           },
          ],
          position: (26, 50),
         },
         String {
          parts: [
           Raw {
            content: "pata_mpiix",
           },
          ],
          position: (27, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_netcell",
           },
          ],
          position: (27, 20),
         },
         String {
          parts: [
           Raw {
            content: "pata_ns87410",
           },
          ],
          position: (27, 35),
         },
         String {
          parts: [
           Raw {
            content: "pata_oldpiix",
           },
          ],
          position: (27, 50),
         },
         String {
          parts: [
           Raw {
            content: "pata_pcmcia",
           },
          ],
          position: (28, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_pdc2027x",
           },
          ],
          position: (28, 21),
         },
         String {
          parts: [
           Raw {
            content: "pata_qdi",
           },
          ],
          position: (28, 37),
         },
         String {
          parts: [
           Raw {
            content: "pata_rz1000",
           },
          ],
          position: (28, 48),
         },
         String {
          parts: [
           Raw {
            content: "pata_serverworks",
           },
          ],
          position: (29, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_sil680",
           },
          ],
          position: (29, 26),
         },
         String {
          parts: [
           Raw {
            content: "pata_sis",
           },
          ],
          position: (29, 40),
         },
         String {
          parts: [
           Raw {
            content: "pata_sl82c105",
           },
          ],
          position: (30, 7),
         },
         String {
          parts: [
           Raw {
            content: "pata_triflex",
           },
          ],
          position: (30, 23),
         },
         String {
          parts: [
           Raw {
            content: "pata_via",
           },
          ],
          position: (30, 38),
         },
         String {
          parts: [
           Raw {
            content: "pata_winbond",
           },
          ],
          position: (31, 7),
         },
         String {
          parts: [
           Raw {
            content: "3w-9xxx",
           },
          ],
          position: (34, 7),
         },
         String {
          parts: [
           Raw {
            content: "3w-xxxx",
           },
          ],
          position: (34, 17),
         },
         String {
          parts: [
           Raw {
            content: "aic79xx",
           },
          ],
          position: (34, 27),
         },
         String {
          parts: [
           Raw {
            content: "aic7xxx",
           },
          ],
          position: (34, 37),
         },
         String {
          parts: [
           Raw {
            content: "arcmsr",
           },
          ],
          position: (34, 47),
         },
         String {
          parts: [
           Raw {
            content: "uas",
           },
          ],
          position: (38, 7),
         },
         String {
          parts: [
           Raw {
            content: "sdhci_pci",
           },
          ],
          position: (41, 7),
         },
         String {
          parts: [
           Raw {
            content: "ohci1394",
           },
          ],
          position: (44, 7),
         },
         String {
          parts: [
           Raw {
            content: "sbp2",
           },
          ],
          position: (44, 18),
         },
         String {
          parts: [
           Raw {
            content: "virtio_net",
           },
          ],
          position: (47, 7),
         },
         String {
          parts: [
           Raw {
            content: "virtio_pci",
           },
          ],
          position: (47, 20),
         },
         String {
          parts: [
           Raw {
            content: "virtio_mmio",
           },
          ],
          position: (47, 33),
         },
         String {
          parts: [
           Raw {
            content: "virtio_blk",
           },
          ],
          position: (47, 47),
         },
         String {
          parts: [
           Raw {
            content: "virtio_scsi",
           },
          ],
          position: (47, 60),
         },
         String {
          parts: [
           Raw {
            content: "virtio_balloon",
           },
          ],
          position: (47, 74),
         },
         String {
          parts: [
           Raw {
            content: "virtio_console",
           },
          ],
          position: (47, 91),
         },
         String {
          parts: [
           Raw {
            content: "mptspi",
           },
          ],
          position: (50, 7),
         },
         String {
          parts: [
           Raw {
            content: "vmxnet3",
           },
          ],
          position: (50, 16),
         },
         String {
          parts: [
           Raw {
            content: "vsock",
           },
          ],
          position: (50, 26),
         },
        ],
        position: (15, 5),
       },
       BinaryOperation {
        operator: Concatenation,
        operands: [
         FunctionApplication {
          function: PropertyAccess {
           expression: Variable {
            identifier: "lib",
            position: (51, 10),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "optional",
              position: (51, 14),
             },
            ],
           },
           default: None,
          },
          arguments: [
           PropertyAccess {
            expression: Variable {
             identifier: "platform",
             position: (51, 23),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "isx86",
               position: (51, 32),
              },
             ],
            },
            default: None,
           },
           String {
            parts: [
             Raw {
              content: "vmw_balloon",
             },
            ],
            position: (51, 38),
           },
          ],
         },
         BinaryOperation {
          operator: Concatenation,
          operands: [
           FunctionApplication {
            function: PropertyAccess {
             expression: Variable {
              identifier: "lib",
              position: (52, 8),
             },
             attribute_path: AttributePath {
              attributes: [
               Raw {
                content: "optionals",
                position: (52, 12),
               },
              ],
             },
             default: None,
            },
            arguments: [
             BinaryOperation {
              operator: LogicalOr,
              operands: [
               PropertyAccess {
                expression: Variable {
                 identifier: "pkgs",
                 position: (52, 23),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "stdenv",
                   position: (52, 28),
                  },
                  Raw {
                   content: "isi686",
                   position: (52, 35),
                  },
                 ],
                },
                default: None,
               },
               PropertyAccess {
                expression: Variable {
                 identifier: "pkgs",
                 position: (52, 45),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "stdenv",
                   position: (52, 50),
                  },
                  Raw {
                   content: "isx86_64",
                   position: (52, 57),
                  },
                 ],
                },
                default: None,
               },
              ],
              position: (52, 42),
             },
             List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "vmw_vmci",
                 },
                ],
                position: (53, 7),
               },
               String {
                parts: [
                 Raw {
                  content: "vmwgfx",
                 },
                ],
                position: (53, 18),
               },
               String {
                parts: [
                 Raw {
                  content: "vmw_vsock_vmci_transport",
                 },
                ],
                position: (53, 27),
               },
               String {
                parts: [
                 Raw {
                  content: "hv_storvsc",
                 },
                ],
                position: (56, 7),
               },
              ],
              position: (52, 67),
             },
            ],
           },
           BinaryOperation {
            operator: Concatenation,
            operands: [
             FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "lib",
                position: (57, 10),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "optionals",
                  position: (57, 14),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               BinaryOperation {
                operator: LogicalOr,
                operands: [
                 PropertyAccess {
                  expression: Variable {
                   identifier: "pkgs",
                   position: (57, 25),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "stdenv",
                     position: (57, 30),
                    },
                    Raw {
                     content: "isAarch32",
                     position: (57, 37),
                    },
                   ],
                  },
                  default: None,
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "pkgs",
                   position: (57, 50),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "stdenv",
                     position: (57, 55),
                    },
                    Raw {
                     content: "isAarch64",
                     position: (57, 62),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
                position: (57, 47),
               },
               List {
                elements: [
                 String {
                  parts: [
                   Raw {
                    content: "simplefb",
                   },
                  ],
                  position: (63, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "sun4i-drm",
                   },
                  ],
                  position: (68, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "sun8i-mixer",
                   },
                  ],
                  position: (69, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pwm-sun4i",
                   },
                  ],
                  position: (72, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "vc4",
                   },
                  ],
                  position: (76, 7),
                 },
                ],
                position: (57, 73),
               },
              ],
             },
             FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "lib",
                position: (77, 10),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "optionals",
                  position: (77, 14),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "pkgs",
                 position: (77, 24),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "stdenv",
                   position: (77, 29),
                  },
                  Raw {
                   content: "isAarch64",
                   position: (77, 36),
                  },
                 ],
                },
                default: None,
               },
               List {
                elements: [
                 String {
                  parts: [
                   Raw {
                    content: "pcie-brcmstb",
                   },
                  ],
                  position: (84, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "dw-hdmi",
                   },
                  ],
                  position: (87, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "dw-mipi-dsi",
                   },
                  ],
                  position: (88, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "rockchipdrm",
                   },
                  ],
                  position: (89, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "rockchip-rga",
                   },
                  ],
                  position: (90, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "phy-rockchip-pcie",
                   },
                  ],
                  position: (91, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pcie-rockchip-host",
                   },
                  ],
                  position: (92, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "panel-simple",
                   },
                  ],
                  position: (97, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pwm-bl",
                   },
                  ],
                  position: (98, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "axp20x-ac-power",
                   },
                  ],
                  position: (101, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "axp20x-battery",
                   },
                  ],
                  position: (102, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pinctrl-axp209",
                   },
                  ],
                  position: (103, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "mp8859",
                   },
                  ],
                  position: (104, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "xhci-pci-renesas",
                   },
                  ],
                  position: (107, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "analogix-dp",
                   },
                  ],
                  position: (110, 7),
                 },
                 String {
                  parts: [
                   Raw {
                    content: "analogix-anx6345",
                   },
                  ],
                  position: (111, 7),
                 },
                ],
                position: (77, 46),
               },
              ],
             },
            ],
            position: (77, 7),
           },
          ],
          position: (57, 7),
         },
        ],
        position: (52, 5),
       },
      ],
      position: (51, 7),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "hardware",
        position: (115, 3),
       },
       Raw {
        content: "enableRedistributableFirmware",
        position: (115, 12),
       },
      ],
     },
     Variable {
      identifier: "true",
      position: (115, 44),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "imports",
        position: (117, 3),
       },
      ],
     },
     List {
      elements: [
       Path {
        parts: [
         Raw {
          content: "../hardware/network/zydas-zd1211.nix",
         },
        ],
        position: (118, 7),
       },
      ],
      position: (118, 5),
     },
    ),
   ],
   recursive: false,
   position: (10, 1),
  },
  position: (7, 1),
 },
 position: (6, 1),
}