I take it back. It didn't work like a charm.
First, to answer your question I did apt-get update and upgrade and reboot and run again.
So I only ran the host install, because I didn't have the TK1 around. When I finally got my hands on the TK1 again, I ran the TK1 part of the install and I was back to square 1, like it had never worked in the first place.
I've given up trying to install it. I posted on the nvidia developer forums where the response was basically 'We have an exact copy of the software here and ours is working fine'.
I've gone down the route of trying to get GRIP working on it, using some old instructions I found on this forum
here. They are clearly out of date, but it is possible to figure out the intent and move from there (although I am currently stuck there too).
I have to say:
Don't buy this board. Nothing I try to do with it works, including:
- Adding a wifi device driver.
- Using ufw
- Adding and using vnc
- Installing Jetpack
- Building GRIP (this latter is a great learning experience and I haven't totally given up yet, despite my experience with all of the above)
There are a couple of problems that seem to exist:
The first is that Nvidia seem to have moved on to the TX1. The TK1 doesn't get much love.
The second is that using an arm based device as a native build environment is still a novelty. Most packages and instructions for using them assume you are cross-compiling on something else. They also often assume you are cross compiling for Android.
The third is that no one seems to explain (or know?) the purpose of all of the various build options (compiler switches, compiler options, tool options etc). They generally just seem to be messing with the incantations until something seems to work, then finally it doesn't.