Re: [9fans] rpi boot

2015-10-23 Thread Andrew Simmons
> On Oct 24, 2015, at 12:26 PM, da Tyga wrote: > > I might be doing something wrong here, I was just responding to Adriano's > post - which I thought remained at the bottom of my response. > No it was me doing something wrong and top-posting. Sorry, I occasionally slip

Re: [9fans] rpi boot

2015-10-23 Thread da Tyga
I might be doing something wrong here, I was just responding to Adriano's post - which I thought remained at the bottom of my response. On 24 October 2015 at 10:00, Andrew Simmons wrote: > I’m not sure where you’re up to, so apologies if this isn’t helpful, but > to get the

Re: [9fans] rpi boot

2015-10-23 Thread da Tyga
I don't have the Plan9 uSD card handy, but to the best of my recollection all Raspberry Pi SD cards have at least two partitions on them. The ARM processor remains halted upon reset and the VideoCore loads the image from the (first?) DOS formatted partition. Once that image is loaded into RAM,

[9fans] rpi boot

2015-10-23 Thread Adriano Verardo
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 ?