The highlighted comment was created in this revision.
$ df -h Filesystem Size Used Avail Use% Mounted on /dev/root 12G 6.8G 4.4G 62% / devtmpfs 850M 4.0K 850M 1% /dev none 4.0K 0 4.0K 0% /sys/fs/cgroup none 175M 656K 174M 1% /run none 5.0M 0 5.0M 0% /run/lock none 874M 76K 874M 1% /run/shm none 100M 32K 100M 1% /run/user /dev/mmcblk1p1 30G 17G 14G 56% /media/ubuntu/GOPRO
this is as received...
Hmm perhaps upon delivery (with R19.2?) it has been formatted as 12G. However if you flash according to the directions it will reduce to 8G. I think this is to reduce the flashing time over USB.
Yes Dustin is correct, we ship it with 12G but if you follow the custom Linux flashing instructions it gives you a smaller partition since it can take an extra hour or so of waiting for that extra 4GB of space during flashing. We are likely to simplify it so that both the shipped device and the custom instructions give you a single 12-13G partition.