Para rootear el Samsung Galaxy S4 mini reuní varios recursos que me habían funcionado en su momento.
Recursos originales
La guía que utilicé estaba publicada en este tutorial:
Tutorial de rooteo del Samsung Galaxy S4 mini
Los enlaces de descarga que acompañaban a la publicación original eran antiguos y no están verificados, por lo que no los mantengo. Antes de seguir una guía de root hay que confirmar el número de modelo y la versión de Android, hacer una copia de seguridad y comprender cómo recuperar el firmware oficial.