That's essentially it, nothing is stored anywhere else. You could theoretically just have a bunch of disk images sitting on your desktop and write to the the RPi SD card whatever image you wanted it to run.