From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <fe25b8f621c262a4ae68fba05dd9ef3b@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Thu, 27 Dec 2012 20:44:27 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: [9fans] updating 9pi
Topicbox-Message-UUID: fa1123f0-ead7-11e9-9d60-3106f5b1d025

As a temporary measure until the raspberry pi kernel moves onto
sources, I've set up a repository that can be used with replica/pull
to keep up to date with 9pi kernel changes and essential usb driver
patches which haven't been applied to the main tree yet.

9pi SD card images earlier than 12 December 2012 had some incorrect
file ownership and permission settings, so if you installed a 9pi
fossil image before that date you should update it:

  9fs sources
  cp /n/sources/contrib/miller/rpi/dist/replica/9pi /dist/replica/
  replica/pull -s/ /dist/replica/9pi

If you're using a raspberry pi only as a diskless terminal for an
existing Plan 9 network, you can use the same repository to install
and update just the 9pi kernel files:

  replica/pull -v /dist/replica/9pi /sys/src/9/bcm