Re: 2017-06-20-netbsd-raspi-earmv6hf.img

[Jared McNeill <jmcneill%invisible.ca@localhost>]

On Thu, 22 Jun 2017, John Klos wrote:

> Considering that many cards work fine at SDR50 speeds in both GNU/Linux and 
> NetBSD, I'd say this is a card issue, not an unsupported-by-Pi issue.

Are you sure Linux uses SDR50 mode? The latest driver in raspberrypi/linux 
doesn't advertise any UHS or 1.8V signaling capabilities (and I don't 
recall seeing support in the previous 7 or so iterations of the driver either):

https://github.com/raspberrypi/linux/blob/rpi-4.9.y/drivers/mmc/host/sdhci-iproc.c#L189

Cheers,
Jared