12-14-2018, 05:03 AM
I just wanted to echo that it really takes a while for the first boot, somewhere between 30 min and a hour for a 16GB SD card. In my case I just used plain dd to write the card without any extra tools. Probably worth adding a note to the wiki.