esas no se "formatean"
llevan un sistema operativo en rom,
lo que puedes hacer es que normalmente tiene un aujero con un boton undiod que la deja en modo configuracion de fabrica, basicamente la deja como recien sacada de la caja,
pero si pretendes cambiar el sistema operativo o cambiarla de idioma,
el sistema operativo no se puede cambiar, aunque habia un proyecto antiguo llamado ipaq linux, que permitia poner un linux en algunas ipaqs,
si predentes cambiarla de idioma, es solo asunto de encontrar la rom del modelo español de esa PDA y flashearselo, aunque no se de donde vas a poder sacarla, mira en xda developers,
