I am attaching an SD card interface to a carrier for a Nano. As per the Design Document, care must be taken to make sure the GPIO enabling the SD card power supply has the appropriate POR value to prevent the power supply from being active by default. I have been able to find some information on various GPIO POR values but not GPIO3.
So, can anyone tell me the POR value of GPIO3? Also, would this be the same for the TX2NX?
You are correct. Think of a device tree as a way of passing configuration and other information of non-plug-n-play devices to drivers as they load. This includes which configuration a GPIO and other devices operate as. The PINMUX spreadsheet is a way of generating a device tree.