I’m not sure where you’re up to, so apologies if this isn’t helpful, but to get the image on to the SD I just did what it says here (I use a Mac):
https://www.raspberrypi.org/documentation/installation/installing-images/ https://www.raspberrypi.org/documentation/installation/installing-images/mac.md This was a while back on OSX Yosemite. I haven’t tried on El Capitan. I found getting the standalone image to boot trivially simple. To add networking I just did what it says here: https://www.raspberrypi.org/forums/viewtopic.php?f=80&t=24480 -ie copy cmdline-demo-net.txt to cmdline.txt in the boot partition. > On Oct 24, 2015, at 10:25 AM, Adriano Verardo <adriano.vera...@mail.com> > wrote: > > I'm using a rpi with prof Miller Plan9 img. > A remarkable work. > I would like to know the details of the rpi boot process. > i.e. where u-boot is stored, how to generate a micro sd etc. > After reading some doc, I'm getting a bit confused. > Could someone kindly indicate a "roadmap" and some good doc ? > > Thanks in advance > > adriano > > >