I'm trying to mount a SanDisk Ultra microSDHC. My laptop -- HP Envy 13 -- has a slot for it. But upon pluggin in, there is no device recognized, and dmesg doesn't show anything. I understand sdhc(4) should take care of this, but that's all I know.
Any pointers?