Me he encontrado con la Configuración avanzada de RPi pero hay pasos incompletos. Por ejemplo, ¿dónde puedo encontrar mkcard.txt
en la sección Configuración avanzada de la tarjeta SD ? ¿Acabo de reutilizar el del sitio de demostración BeagleBone ? Luego hay una sección de pasos importantes en Arrancando finalmente GNU / Linux que solo contiene el texto "para completar".
¿Alguien sabe qué cosas adicionales deben hacerse para arrancar en una versión de Debian, por ejemplo?