Hacker News new | comments | show | ask | jobs | submit login

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.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact