9pi has about 1,7GB plan9 partition size.
On my 8GB SD card the rest is unused...

Maybe it would be wise to use Venti on that unsed space... ;)

Pavel