From mboxrd@z Thu Jan  1 00:00:00 1970
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
From: Adriano Verardo <adriano.verardo@mail.com>
Message-ID: <562AA5E2.1000706@mail.com>
Date: Fri, 23 Oct 2015 23:25:54 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:41.0) Gecko/20100101 Firefox/41.0
	SeaMonkey/2.38
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [9fans] rpi boot
Topicbox-Message-UUID: 746bd1c6-ead9-11e9-9d60-3106f5b1d025

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