I’d like to replace the Jetson TK1 fan with a heatsink as discussed here:
http://elinux.org/Jetson/Jetson_TK1_Power#Replacing_the_fan_with_a_heatsink
These look like they would roughly fit the existing mount holes on the board:
http://www.digikey.com/product-detail/en/ATS-1040-C3-R0/ATS1406-ND/2688478
http://www.digikey.com/product-detail/en/ATS-1040-C2-R0/ATS1405-ND/2688477
http://www.digikey.com/product-detail/en/ATS-1040-C1-R0/ATS1404-ND/2688476
How can I be sure? Is there a mounting hole standard that the board and heatsinks are likely complying with?