ARM microcontrollers in sd cards?

Which ARM Microcontrollers are embedded in current SD Cards? The Motorola 8051 tends to get mentioned in this connection, with occasional, vague references to ARM. So, which specific ARM technologies are used for this purpose, and what kind of embedded OS do they use? Linux has been mentioned in this connection; do ARM SD implementations use it? If so, which disto(s)?