OK, I figured Ethernet would work, but wasn't sure how to figure out the IP address without some shell running, at least for the first time. I'll read the thread, or resort to the serial interface. I didn't realize the serial port was a different one from the one used for downloads.
Thanks,
Nick.