Me he encontrado con la Configuración avanzada de RPi pero hay pasos incompletos. Por ejemplo, ¿dónde puedo encontrar mkcard.txten 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?

No está claro qué
makecardse supone que debe hacer. Supongo que divide la tarjeta SD (usafdisk) y copia la imagen al descargarla del sitio web y usarladd.fuente