Re: RPI boot problem (some OT)

[deloptes <deloptes@gmail.com>]

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.