The OS isn't on the drive! It's on the FPGA. Or something. It's all black magic to me. Formatting the card doesn't actually remove anything, it just tells any user of the card that all the space is available. So when DS-X knew exactly where to find good old professor Layton, it could still do it.