@@ 646,10 646,44 @@ or by starting the installer, using `guix-system-installer` command.
"usb_common" "usbcore"
;; USB 3.0
"xhci_pci" "xhci_hcd"
- ;; embedded USB 3.0
"xhci_plat_hcd"
+ ;; More USB controllers
+ "dwc3" "dwc3_pci"
+ ;; Allwinner
+ "phy_sun4i_usb" "phy_sun50i_usb3"
+ ;; Qualcomm
+ "dwc3_qcom"
+ "phy_qcom_qmp_usb" "phy_qcom_qusb2"
+ "phy_qcom_snps_femto_v2" "phy_qcom_usb_hs"
+ "phy_qcom_usb_ss"
+ ;; Texas Instruments
+ "phy_tusb1210"
+ ;; Rockchip
+ "phy_rockchip_usb"
+ "phy_rockchip_inno_usb2" "phy_rockchip_typec"
+ ;; NXP i.MX
+ "phy_fsl_imx8mq_usb"
+ ;; Generic
+ "phy_generic"
+ ;; "thunderbolt" "typec_thunderbolt"
;; USB 2.0
- "ehci_pci" "ehci_hcd")
+ "dwc2"
+ "ehci_pci" "ehci_hcd"
+ "ehci_platform"
+ ;; USB 1.1
+ "ohci_pci" "ohci_hcd"
+ ;; SD cards
+ "mmc_hsq" "mmc_spi"
+ "mmc_core" "mmc_block"
+ "sdhci" "sdhci_pci"
+ "mmc_spi"
+ "sdhci_acpi"
+ ;; Platform specific SD card
+ "dw_mmc" "dw_mmc-pltfm" "dw_mmc-rockchip"
+ "sunxi_mmc" "sdhci_pltfm" "sdhci_msm"
+ "sdhci_of_arasan" "sdhci_of_esdhc" "sdhci_brcmstb"
+ "sdhci_tegra" "phy_rockchip_emmc"
+ "sdhci_esdhc_imx")
'())
,@%base-initrd-modules))