Encontrei a Configuração avançada do RPi, mas há etapas incompletas. Por exemplo, onde posso encontrar mkcard.txt
na seção Configuração avançada do cartão SD ? Acabei de reutilizar o do site de demonstração do BeagleBone ? Depois, há uma seção de etapas importantes em Inicializando finalmente o GNU / Linux que contém apenas o texto "a ser concluído".
Alguém sabe que coisas adicionais precisam ser feitas para inicializar em um lançamento Debian, por exemplo?