ghe wrote: > I know this isn't the best place to talk about Raspberry Pis, but there > are people here who are familiar with them, and probably people who can > point me to the correct place. And they do run Debian...
I don't have that modern RPI, but usually there are ready images to use. Did you try one? I personally ended up using TFTP boot. The only thing I had to prepare was an old SD card to hold the boot loader. If the HDMI does not come up ... I don't know - this should be there IMO regardless of boot.