How to tell which jetson device from command-line?

USed to be (on TK1) You could get a human-readable “Hardware” name from /proc/cpuinfo (ie: “Jetson TK1”). This seems to have disappeared in TX2 (not sure about TX1). Is there some place I can look on the command line to know which “hardware” I’m running on?

Going to us this for automated status / health reporting (Nagios-style).

You can dump the result by "

xxd device-tree/compatible