SD card is not being detected by a TX1

Whenever I insert an SD Card into the TX1 it does not appear to be mounted.

First, did you try checking the latest output of dmesg after plugging in the SD card? You should see log info from the SD controller detecting the card.

Secondly, is the SDcard formatted as ext3/ext4? Then it should mount…

Additional test: Run “lsblk” before and after inserting the card. See if you get new entries after the card is inserted.