---
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, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "ata_piix",
            position: (18, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_inic162x",
            position: (20, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_nv",
            position: (20, 24),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_promise",
            position: (20, 34),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_qstor",
            position: (20, 49),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_sil",
            position: (21, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_sil24",
            position: (21, 19),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_sis",
            position: (21, 32),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_svw",
            position: (21, 43),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_sx4",
            position: (21, 54),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_uli",
            position: (22, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_via",
            position: (22, 19),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sata_vsc",
            position: (22, 30),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_ali",
            position: (24, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_amd",
            position: (24, 19),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_artop",
            position: (24, 30),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_atiixp",
            position: (24, 43),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_efar",
            position: (24, 57),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt366",
            position: (25, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt37x",
            position: (25, 22),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt3x2n",
            position: (25, 36),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_hpt3x3",
            position: (25, 51),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_it8213",
            position: (26, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_it821x",
            position: (26, 22),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_jmicron",
            position: (26, 36),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_marvell",
            position: (26, 51),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_mpiix",
            position: (27, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_netcell",
            position: (27, 21),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_ns87410",
            position: (27, 36),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_oldpiix",
            position: (27, 51),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_pcmcia",
            position: (28, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_pdc2027x",
            position: (28, 22),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_qdi",
            position: (28, 38),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_rz1000",
            position: (28, 49),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_serverworks",
            position: (29, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_sil680",
            position: (29, 27),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_sis",
            position: (29, 41),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_sl82c105",
            position: (30, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_triflex",
            position: (30, 24),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_via",
            position: (30, 39),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "pata_winbond",
            position: (31, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "3w-9xxx",
            position: (34, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "3w-xxxx",
            position: (34, 18),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "aic79xx",
            position: (34, 28),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "aic7xxx",
            position: (34, 38),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "arcmsr",
            position: (34, 48),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "uas",
            position: (38, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sdhci_pci",
            position: (41, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "ohci1394",
            position: (44, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "sbp2",
            position: (44, 19),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_net",
            position: (47, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_pci",
            position: (47, 21),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_mmio",
            position: (47, 34),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_blk",
            position: (47, 48),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_scsi",
            position: (47, 61),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_balloon",
            position: (47, 75),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "virtio_console",
            position: (47, 92),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "mptspi",
            position: (50, 8),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "vmxnet3",
            position: (50, 17),
           },
          ],
         },
         String {
          parts: [
           Raw {
            content: "vsock",
            position: (50, 27),
           },
          ],
         },
        ],
        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, 39),
             },
            ],
           },
          ],
         },
         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, 8),
                 },
                ],
               },
               String {
                parts: [
                 Raw {
                  content: "vmwgfx",
                  position: (53, 19),
                 },
                ],
               },
               String {
                parts: [
                 Raw {
                  content: "vmw_vsock_vmci_transport",
                  position: (53, 28),
                 },
                ],
               },
               String {
                parts: [
                 Raw {
                  content: "hv_storvsc",
                  position: (56, 8),
                 },
                ],
               },
              ],
              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, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "sun4i-drm",
                    position: (68, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "sun8i-mixer",
                    position: (69, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pwm-sun4i",
                    position: (72, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "vc4",
                    position: (76, 8),
                   },
                  ],
                 },
                ],
                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, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "dw-hdmi",
                    position: (87, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "dw-mipi-dsi",
                    position: (88, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "rockchipdrm",
                    position: (89, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "rockchip-rga",
                    position: (90, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "phy-rockchip-pcie",
                    position: (91, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pcie-rockchip-host",
                    position: (92, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "panel-simple",
                    position: (97, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pwm-bl",
                    position: (98, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "axp20x-ac-power",
                    position: (101, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "axp20x-battery",
                    position: (102, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pinctrl-axp209",
                    position: (103, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "mp8859",
                    position: (104, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "xhci-pci-renesas",
                    position: (107, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "analogix-dp",
                    position: (110, 8),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "analogix-anx6345",
                    position: (111, 8),
                   },
                  ],
                 },
                ],
                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),
}