Thread:Talk:Jetson TK1/eMMC 8Gb?/reply

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.