> then nothing happens. Perhaps at this stage the machine is trying to
> talk to a terminal through a different port.

just so.  the GPX has a serial port.  plug a console into it.

> PS: another naive question. Wasn't BSD running on microVAXes a long
> time ago? Why the need to port NetBSD? Legal issues?

yes.