I d/l the debian server package and it seems to work.  But networking isn't activated until after hdmi sets up.  This is a problem if I am not using hdmi, as no IP is assigned to ssh into.

How to get an ip address without having hdmi plugged in?

Thanks.