Created attachment 217203 [details] Patch for the sdhci driver The following config file for the devd and the patch for the sdhci driver solve this problem.
Created attachment 217204 [details] Patch for the man page
Created attachment 217205 [details] config file for the devd
A commit references this bug: Author: markj Date: Tue Aug 25 18:32:44 UTC 2020 New revision: 364779 URL: https://svnweb.freebsd.org/changeset/base/364779 Log: sdhci(4): Recognize the Texas Instruments PCIxx12 card reader. PR: 248650 Submitted by: Lars Herschke <lhersch@dssgmbh.de> MFC after: 1 week Changes: head/share/man/man4/sdhci.4 head/sys/dev/sdhci/sdhci_pci.c
Thanks, I committed the source changes. Regarding the devd configuration, I think the real solution is to convert sdhci_pci to use the new MODULE_PNP_INFO framework. This basically embeds the recognized device IDs into the driver in a way that allows devd to recognize devices and load drivers automatically, without any extra configuration. Many drivers are converted, but sdhci is not (yet). If you are interested in working on this, please feel free to ask for help.
A commit references this bug: Author: markj Date: Tue Sep 1 13:58:17 UTC 2020 New revision: 365038 URL: https://svnweb.freebsd.org/changeset/base/365038 Log: MFC r364779: sdhci(4): Recognize the Texas Instruments PCIxx12 card reader. PR: 248650 Changes: _U stable/12/ stable/12/share/man/man4/sdhci.4 stable/12/sys/dev/sdhci/sdhci_pci.c
Thanks for the patch.