Image to flash onto Jetson?

We need to completely reset the Jetson to factory settings. I am finding surprisingly little information about how to do this. Does anyone have any suggestions?

I think the very first TX1s used L4T R23.1. I see R28.1 here listed as a factory image, but this probably isn’t what you want (and so far as I know is not what the JTX1 ships with unless things have changed):
(check the TX1 product, and search term “image”)

Historical listings of versions released after the first Jetson release is here:
(the R23.1 flash might indirectly be what you want)

Note that R23.x only supported 32-bit user space (kernels were always 64-bit).