From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <1ab373bea51cc253afe78628c62f3a7d@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Mon, 11 Mar 2013 14:08:45 +0000
In-Reply-To: <52432f2e-7af9-4e8a-b536-7c850f5fad17@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] How to build plan9 image for raspberry pi with
	different size ?
Topicbox-Message-UUID: 2604d2e0-ead8-11e9-9d60-3106f5b1d025

There isn't a simple way to grow an existing fossil partition.  You could
use the extra space on the SD card for a second fossil partition, or a venti
store.  To rebuild the main fossil on the pi, you would need to boot from
a root filesystem coming from somewhere else - a usb flash drive for example,
or a networked server.  Or you could rebuild the SD image offline, using
another plan 9 or plan 9-like system.

It would be better to have a proper "installer" for plan 9 on ARM, not
just a fixed image.  Perhaps one day there will be one.

If you are new to Plan 9, you will probably not find 2GB too limiting
while you explore its possibilities.  By the time you need more space,
you will have learned enough that you will be able to think of lots of
ways to expand.