eMMC 8Gb?
Fragment of a discussion from Talk:Jetson TK1
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.