I have come across the RPi Advanced Setup but there are incomplete steps. For example, where can I find
mkcard.txt from the Advanced SD card setup section? Do I just reuse the one from the BeagleBone demo site? Then there is an important steps section under Finally booting GNU/Linux that only contains the text "to be completed".
Does anybody know what additional things need to be done to boot into a Debian release for example?