I'm using a 4GB SD card, formatted from a Windows PC with the Debian image. Here's the output of
Filesystem Size Used Avail Use% Mounted on tmpfs 94M 0 94M 0% /lib/init/rw udev 10M 156K 9.9M 2% /dev tmpfs 94M 0 94M 0% /dev/shm rootfs 1.6G 1.5G 0 100% / /dev/mmcblk0p1 75M 28M 47M 37% /boot
Where's all my extra space? There's about 2GB is missing!