How can I format tx2?

How can I format tx2?

Am I supposed to flash it back to the host pc?

Thank you for your help.

U may use the host pc to reflash the tx2.
U may use the latest Jetpack for that or an image.
As it seems to me.