Hi, On Thu, Nov 22 2012, Adrian Hunter wrote: > Here is SDHCI ACPI driver. It is dependent on new ACPI Platform support > so I suggest Rafael takes the patches with Chris' Ack. > > Please note that I would prefer this to be queued for 3.8 Looks fine: Acked-by: Chris Ball <cjb@xxxxxxxxxx> I have some dumb questions, though -- what kind of platforms ship with these devices? Do they ever have the controller on PCI too, and what happens with sdhci-pci vs. sdhci-acpi in that case? Thanks, - Chris. -- Chris Ball <cjb@xxxxxxxxxx> <http://printf.net/> One Laptop Per Child -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html