The file system setup by the SDK Manager appears to be complete on the host machine, so I set the ${BOARD} environment variable, put the device into Recovery Mode, cd’d to the correct directory and ran
sudo ./flash.sh ${BOARD} mmcblk0p1
as per the documentation. That flashed the device, and I had to create the user and password at first boot (just as I wanted).
But… after installing JTop it reports that some libraries are missing:
Ah. To try to work this out I used the SDK Manager to flash the device and install the libraries.
There are two distinct sections to this process. The first flashes the system across to the device.
The second installs the libraries. You have to boot the device and enter the device’s local network IP into the SDK Manager. It looks like SDK Manager then pushes out deb files to the device over the network, and (I presume) you have to have a user (and password) on the device to do this.
When new the unit arrives with the libraries already loaded, without a user name and password on the host.