I'm using an 8GB SD card and installed Raspbian which is 3.9GB large.
I suppose that about 4GB should be available, but it isn't.
When I type
'df -ah' on my Raspberry pi, it shows
Only 65MB is available....
And this is
diskutil list on my Mac OS X
And I did not install nothing but open-ssh..and vim..