I have seen this link.
However, after cloning NAND to SD and restarting, my result of 'df -h' is different from both photos in the tutorial (my output is here).
I think that my pcDuino booted from SD. I have two reasons. First one is that /dev/mmcblk0p1 is listed on the output of 'df -h'. Other reason is that when I run board-config.sh, I have no option to clone my system to SD card anymore.
However, I would like to hear your opinion, is it booted from SD or NAND?
Also, why the output I have is different from both outputs in the tutorial?