My E7440 has an SD card reader. With some  relative minor patches, I was able to get the Apple AppleSDXC.kext driver to load and work. Here are the details.   The SD card reader in my E7440 uses an O2 micro part. Here is the lspci output: 03:00.0 SD Host controller: O2 Micro, Inc. Unknown device 8520 (rev 01) The driver matches on IOName, which has a default value of pci14e4,16bc. This needs to change. First I patched the binary driver AppleSDXC with the following perl script. perl -pi -e '