[9fans] How to build plan9 image for raspberry pi with

[Xinwei Hu]

Hi,

  A newbie question here.

  I want to fully utilize my 8G SD, while the image provided now is about 2G 
only.
Is there a way to customize the size of the image ? Or, even further, is there 
a way to extend existing filesystem online ?

  Thanks.