ACTUALIZACIÓN 2020: Recomiendo usar la aplicación oficial Raspberry Pi Imager para formatear y recuperar la tarjeta microSD ved la opción ERASE al final del artículo.
SD Formatter llega para ayudar. Como ya comenté en otra entrada similar, si tras instalar alguno de los sistemas operativos (Raspbian, Xbian, Raspbmc,… ) necesitáis reinstalarlo o queréis la tarjeta SD para otra cosa, desde Windows puede que os dé problemas como ya vimos.
Además de la herramienta de HP que en realidad era para pendrives USB tenemos una de la asociación de fabricantes de tarjetas SD. Hay versiones, una con soporte de Windows y Mac OSX y otra que no, vosotros elegid.
- SD Formatter for SD/SDHC/SDXC para Windows y Mac OSX
De la descripción del propio software SD Formatter.
SD Memory Card Formatter para SD/SDHC/SDXC formatea tarjetas de memoria SD, tarjetas de memoria SDHC y tarjetas de memoria SDXC (respectivamente tarjetas SD/SDHC/SDXC) que cumplen con las especificaciones del sistema de archivos SD creadas por la SD Association (SDA).
Al utilizar este formateador en lugar de utilizar las herramientas de formateo que proporcionan los sistemas operativos se optimiza para estos dispositivos y el resultado será un mayor rendimiento.
Además las tarjetas SD/SDHC/SDXC tienen una «zona protegida» para fines de seguridad que no se toca al usar este software.
Sin embargo, este programa no es compatible con las tarjetas SD/SDHC/SDXC codificadas por la funcionalidad «BitLocker To Go» de Windows. Por lo que para formatear la tarjeta primero tienes que de desbloquearla desde Windows.