That TX2 and the offical carrier board are couple. It’s the offical devkit. When I press the reset button, It gived some messages to serial-console, then stopped there.
