Stacking multiple TX1

I am wondering if someone has investigated using multiple TX1 together? If there is some case that anyone has designed to host multiple TX1 together? Also, more importantly does anyone know of any resources or pointers on how to synchronise multiple TX1 devices. For example, I would like to connect multiple cameras onto the TX1s but would like to synchronise the clocks between them so that I could order the images. Does anyone know of some resources around this?

Not meet such case before, but from hardware perspective, an external CPU or TX1 as host and some programmable devices such as CPLD are necessary. CPLD are for hardware logic such as power sequence, system reset and device control. External CPU/TX1 is for TX1s management, ethernet with expansion ports could be the interface between host and TX1s.