TK1 supplier on states side?

We are looking to incorporate TK1 on our system boards. Who would be the wholesaler/FAE for TK1 in US?

There is a list of distributors. In the past I’ve been happy with Toradex.com, which looks like it is non-USA, but they do have USA offices.

The answer is probably too late, but Toradex can help you with TK1 based systems and there is an office in Seattle with local support for the US and a US warehouse.